読者です 読者をやめる 読者になる 読者になる

GCaml GCaml

GCamlの二段構えで型付けを行う戦略はかっこいいと思った。

普通の型システムは型付けを1passで行うが、別に1passで行わなくてはならない理由はない(と思う)。