kazu-yamamoto https://blog.hatena.ne.jp/kazu-yamamoto/ あどけない話 https://kazu-yamamoto.hatenablog.jp/ 代数データ型(バリアント)をラムダ式で表現する方法の備忘録。ラムダ式を表現するのに、実行可能な Haskell の無名関数を使う。間違いの指摘を歓迎します。こんな感じ： \x y z ... f g h ... -> 引数をうまく組み合わせる x y z ... の部分が、直積を表す f g h ... の部分が、構成子で直和を表す Unit コンストラクタが1つ。 data Unit = Unit unit = \u -> u Bool(直和) 一般的な Bool のラムダ式表現に合わせて、True を先に書いておく。 data Bool = True | False true = \t f… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkazu-yamamoto.hatenablog.jp%2Fentry%2F20130327%2F1364349189" title="代数データ型とラムダ式 - あどけない話" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2013-03-27 10:53:09 rich https://kazu-yamamoto.hatenablog.jp/entry/20130327/1364349189 1.0 100%