type t (* void *)

ソフトウエアのこととか

ポエム: 新しい言語を学ぶためには旧来言語を知らないとな!!!

カンスウガタ?ケンロン?やっぱり新しいものをやろうと思ったら 旧来のものとの比較をしないとわかったことにならないらしいのでやらないとね!!!!!!!

わお、そういえば僕RubyとかJavaとかも使うしそっちについても考えてみなきゃ。

続きを読む

OCaml: どうやってファンクタをコンパイルしているのか

小ネタ。OCamlの複雑な機能の中にファンクタというものがあります。
これをどういうふうにコンパイルしているのか見てみましょう。

結論からいうと、

  • OCamlのモジュールというのはただのレコードである。
  • ファンクタはレコードを受け取ってレコードを返すまさに関数である

です。

続きを読む