プログラミング言語の基礎概念(CoPL)という本があります。この本は操作的意味論と型システムの入門書なんですが、オンライン演習システムがあるのが特色で、演習問題を解くと正誤を自動でジャッジしてくれます。 導出規則にしたがって式の評価や型付けを行っ…

OCamlをWindowsで動かすにはいろいろと問題があるらしい。しかしWSL2ならなんとかなるんじゃないかと思ってインストールしてみたら、嬉しいことに特別な配慮をすることなく動かすことができた。 WSL2の導入 WSL2はこの春(2020年)に一般提供されるらしいが、…

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