僕がロジバンに持っていた不満のひとつは、ロジバンに「型のないプログラミング言語」的なところがあるところだ。たとえば「Xに来てください」と言うときXは「場所」である必要があるけど、そのあたりがゆるい。

自然言語に「型」の概念を導入できたら、より厳密な表現ができるのに、と。