あどけない話

インターネットに関する技術的な話など

2013-03-27から1日間の記事一覧

代数データ型とラムダ式

代数データ型(バリアント)をラムダ式で表現する方法の備忘録。ラムダ式を表現するのに、実行可能な Haskell の無名関数を使う。間違いの指摘を歓迎します。こんな感じ: \x y z ... f g h ... -> 引数をうまく組み合わせる x y z ... の部分が、直積を表す f…