最初は懐古会って言ってた気がするんですがいつの間にか老人会って呼び始めててお茶吹きそうになりました。 がうがう…。

SMLNJには実行形式の作成を想像しているものと同じかどうかわからないけども、サポートしている。 僕が忘れそうなのでメモしておく。

カンスウガタ？ケンロン？やっぱり新しいものをやろうと思ったら 旧来のものとの比較をしないとわかったことにならないらしいのでやらないとね！！！！！！！ わお、そういえば僕RubyとかJavaとかも使うしそっちについても考えてみなきゃ。

小ネタ。OCamlの複雑な機能の中にファンクタというものがあります。 これをどういうふうにコンパイルしているのか見てみましょう。 結論からいうと、 OCamlのモジュールというのはただのレコードである。 ファンクタはレコードを受け取ってレコードを返すま…

元ネタはこちら TCOと例外ハンドル | κeenのHappy Hacκing Blog これを機械語レベルで理解したく、OCamlで検証してみることにしました。 同じベンチマークコードではなく機械語を読みやすくするためにシンプルな例にしてます。 ちなみになんか当たり前の結果…