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

3. 自己紹介 • @ruicc • Ruichi Kousuke • 好きな作曲家：A. Bruckner • 好きなバイオリニスト：Hilary Hahn • 好きな言語：Haskell • 爆発すればいい言語：PHP

[hamamuratakuo]

モナドの図解　73. 参照透明な世界へ• 参照透明な言語はIOを明示的に扱う • 型を調べれば副作用の有無が分かる ➡参照透明な世界が見える！ 参照透明な海を守る会 https://ikmsm.pastillage-research.org/ikmsm/

[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]

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