Haskell Day2012 - 参照透過性とは何だったのか

コンテナを突き破れ！！ ～コンテナセキュリティ入門基礎の基礎～（Kubernetes Novice Tokyo #11 発表資料）

[threetea0407]

このモナドの説明はめっちゃ分かりやすいと思った。45ページあたりの図は特に分かりやすい。

[moguno]

もとそ wrote: 大規模になってどこにどういう手が入っているのかわからないとかいうときに便利さを感じるのだろうか / Haskell Day2012 - 参照透過性とは何だったのか http://t.co/D1fFcoj6B4

[elm200]

これはすごくよいスライド。参照透過性とモナドについてわかったつもりになれる。「Haskell だから参照透過性」じゃなくてどんな言語でも参照透過性を意識して書くのがよいと考えれば、事の重要性が見えてくる。

[flower_room]

巨人の肩の上に立つ → 高くて怖い という可能性も。

[paz3]

モナドに与える関数は引数とモナド内コンテクストにのみ依存→影響範囲が限定。モナドで機能を型として表現→型が設計図→設計が実装と共にずっと保守される。関数は疎結合→機能の直交化。(スライド)

[yuya2223]

Haskell Day2012 - 参照透過性とは何だったのか

[toenobu]

参照透過性とはなんぞや？

[YarmUI]

よい

[t_f_m]

モナドの解釈

[nanakoso]

なごやこわい

[rryu]

モナドのコンテキストは更新されるのではなくて、新しく作られたものが次のモナドに引き継がれて行くので参照透過性が守られているのだ、という理屈らしい。

[FunnyBunnyDizzy]

参照透過性=ステートレスってこと？状態持つ必要がある場合にはどうやって管理するもんなんだろ。

[udzura]

なるほど〜……腑に落ちた