2008-11-22から1日間の記事一覧

Lazy K についての個人的なまとめ

Lazy K は関数だけでできている どの関数も関数 1 個を引数にとって、関数 1 個を返す関数 関数 x を y を引数にして呼ぶのを xy と書く unlambda 記法だと `xy xy して得られた関数を z を引数にして呼ぶのは (xy)z だが、演算の優先順位的に括弧は省略でき…