概要 ラムダ式の定義 BNFによる定義 前提) 記号 identifier = {a,b,c,...,x,y,z,...} 1) ::= 2) ::= (λ.) （ラムダ抽象） 3) ::= () （関数適用） where, identifierは可算無限集合（自然数集合Nと濃度が同じ集合） 集合による定義 Vを可算無限個の変数の集…

モナド(Monad) 次の性質を満たす三つ組(T,η,μ)のこと。 前提 関手 T : C→C 自然変換 η : Id → T, μ : T2 → T 以下の性質を持つ ここで、関手の合成をと書く。関手の射をと書く。 Kleisli Triple 圏C上のKleisli Tripleとは、次の性質を満たす三つ組(T,η,*)の…

参考リンク ナウなヤングのためのgithub入門講座 -基本機能からdotfiles管理まで- - tumblr