2005-08-06 ■ GCaml GCaml GCamlの二段構えで型付けを行う戦略はかっこいいと思った。普通の型システムは型付けを1passで行うが、別に1passで行わなくてはならない理由はない(と思う)。