教科書の主なコードを 本書サポートgithubレポジトリ にて提供する.

githubレポジトリは以下の手順で利用できる.

  1. 本書サポートgithubレポジトリをブラウザでアクセス
  2. 「Code」ボタンを左クリックすると現れるCloneメニュのHTTPSを選択し,以下の何れかを実行
    • URLの右側のコピーボタンを左クリックし,URLをクリップボードにコピーし,shellコマンドgit clone <URL>を実行
    • Download ZIPをクリックしZIPファイルをダウンロード

githubレポジトリは,以下の内容が含まれる.

これらのディレクトリの中で chap2/はそれ自信がプログラムのメインディレクトリである. それ以外のディレクトリは,教科書での解説に従い,サブディレクトリに分割されており,それらの中でmainがメインディレクトリである. 各メインディレクトリには,すでにMakefileが用意されている. smlsharpコマンドがインストールされていれば,以下のようにしてプログラムを実行できるはずである.

$ cd examples/chap2
$ make
smlsharp -O2 -o TM.o -c TM.sml
smlsharp -O2 -o Eval.o -c Eval.sml
smlsharp -O2 -o Main.o -c Main.sml
smlsharp  -o Main Main.smi 
$ ./Main
{T = ([I, I, I], I, []), r = ([], B, [I, O, O, O, O])}