今日は型システム入門第5章のラムダ計算でのプログラミングを読んでいます。 その読書メモです。 ラムダ式の項の種類 x (変数) λx. t (ラムダ抽象) t t (関数適用) 変数のスコープ f = λx. x (λx. x)上記ラムダ式の赤文字のxと青文字のxは別物。 fにaを適用…

型システム入門の第4章 算術式の実装がOCamlで書かれていたので、勉強がてらHaskellで書いてみました。 import Data.Maybe (fromJust) data Term = T_TRUE | T_FALSE | T_ZERO | T_SUCC Term | T_PRED Term | T_ISZERO Term | T_IF Term Term Term deriving …

久しぶりに書きます。estore.ohmsha.co.jp型システム入門という本を買ってしまったので、読んで勉強します。 私は型に対する理解が未だに曖昧なので、これを読んで少しでも理解を深められたらと思っています。3章の型無し算術式までは読んでみましたが、集合…