2009-04-01から1ヶ月間の記事一覧

オーバーロードが解決されるルール?

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

G'Camlの販促です。

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