Arantium Maestum

なんとなく幽霊型がわかったので、その勢いに乗ってGeneralized Algebraic Data Typesについても調べてみた。 OCamlの言語機能としては： caml.inria.fr OCaml 4.00から導入された（ちなみに2021/3で最新版は4.12）とのことで、リリーススケジュールを見てみると： ocaml.org 4.00がリリースされGADTが使えるようになった…