2020-03-01から1ヶ月間の記事一覧
Lazy KでHello, world!をやりたいがSKIコンビネータは書きたくない。 最近OCamlの勉強をはじめたのでラムダ式をLazy Kのコードに変換するプログラムを書くことにする。 変換 コンビネータ論理 - Wikipediaをみるとなんか変換する方法が書いてあるので、その…
Lazy KでHello, world!をやりたいがSKIコンビネータは書きたくない。 最近OCamlの勉強をはじめたのでラムダ式をLazy Kのコードに変換するプログラムを書くことにする。 変換 コンビネータ論理 - Wikipediaをみるとなんか変換する方法が書いてあるので、その…