実際に東京大学理学部情報科学科などで教育目的に利用され、国内におけるocamlおよび関数型言語の普及と理解に一定の役割を果たしている。