どうもこんばんは。G'Camlの路上販売を試みたものの巨大資本の前に敗れ去り、港*1で海を眺めているYTです。型レの発表内容について、id:camlspotterさんに補足いただきました。ありがたや。 Obj.magic(またはassert false)を使わないで済む構造など、非常に…

どうもこんばんは。この不況の折路頭に迷うことになり、G'Camlの路上販売に商売替えをしたYTです。 今日はモニタの前の皆様に、G'Camlの型レベルプログラミング能力についてご紹介したいと思います。まず、G'Camlの型レベル言語はチューリング完全であるそう…