これは ML Advent Calendar 2017 の 4日目の記事です。VS Code も絡むのでそっちにも登録してしまいましたw はじめに MLを使いならば、操作敵意味論を理解しなくてはならない。 操作敵意味論を理解するには、論理型言語を理解しなくてはならない。 MLでPrologを実装できれば論理型言語を理解していると言ってよいはずだ。 論理型言語の動作を理解するためにはデバッガがあると便利なはずだ。 しかし、デバッガを作るノウハウが我々にはない。 よって、我々はOCamlによるデバッガを作るサンプルを作成することにしたのである。 1. VS コードのデバッガサンプル(PHPバージョン) これは簡単なアセンブラ言語を作ってそのデバッガを作るサンプルプロジェクトである。 通常は、TypeScriptでDebug Extensions を書くのですが、簡単な標準入出力で VS Cod
