最近OCamlをようやくversion4系列にアップデートしたのですが。 その際にGADTとかいう言葉が気になったので調べていたら、ちょうどわかりやすいエントリーが。 Detecting use-cases for GADTs in OCaml 上のエントリによると、どうやらGADTというのは「代数…

nanocとは nanocはRuby製の静的サイトジェネレーターです。 静的サイトジェネレーターとは、固定的な内容のウェブサイトを作るのに使われるサイトジェネレーターです。 ホームページ制作ツールのような複雑なIDEではなく、コマンドラインとエディタでサクっ…