Haskell

MenuBar

概要 †

• 純粋関数型言語

まとめ †

• Haskellレベルでクライスリまで持って行っている
• いい感じのHaskellブログの講評

単語 †

自然変換 代数的データ型自体もF始代数

モナド †

• ファンクタの文脈

• do文
  • 中に書けるのは、
    1. モナド式
    2. パターン <- モナド式
    3. let { 宣言1 ; 宣言2 ; ... ; 宣言n }

Tips †

• http://d.hatena.ne.jp/gintenlabo/20100601/1275396082
  • C++ における Maybe 相当の機能は、果たして Boost.Optional だけなのでしょうか。少し考えると、実はポインタもまた Maybe であることが分かります。
  • Boost には、既に Maybe に相当する Boost.Optional が存在する
  • Boost.Optional は C++ でも屈指の便利ライブラリ

• http://d.hatena.ne.jp/StudyGuide+Memo/20140403/p1
• 普通に書いてきたプログラムは、関数（集合写像）よりもクライスリ圏の射だって考えた方がいいよ
• モナド数学
  • そもそもモナドって何なんですか？はい、何なんでしょう？ここで、フィリップ・ワドラーの言葉を引用してみます。「モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？」
• http://south37.hatenablog.com/entry/2014/04/20/%E3%83%A2%E3%83%8A%E3%83%89%E3%80%81%E3%81%82%E3%82%8B%E3%81%84%E3%81%AF%E8%87%AA%E5%B7%B1%E9%96%A2 %E6%89%8B%E3%81%AE%E5%9C%8F%E3%81%AB%E3%81%8A%E3%81%91%E3%82%8B%E3%83%A2%E3%83%8E%E3%82%A4%E3%83%89
• 代数構造デザインパターン
• http://anopara.matrix.jp/2015/12/08/%E9%96%A2%E6%95%B0%E5%9E%8B%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E5%85%A5%E9%96%805-%E5%8D%8A%E7%BE%A4%E3%81%A8%E3%83%A2%E3%83%8E%E3%82%A4%E3%83%89/