[id:lethevert:20050717:p1]の続きです。 例外処理に対する問題提起から始まって、「Design by Contract」の概念を経て、「定義域・値域の詳細指定」という概念に至ったこの議論を実装するには、いくつかの方法が考えられる。Javaを対象として実装するとすれ…

cginput.cを修正したのに、上手くいかない・・・ ところで、Cleanのコンパイルの様子は、こちら（http://www.cs.ru.nl/~clean/About_Clean/about_clean.html）に詳しかったりします。 - 分かった。やっぱり、コンパイラとコードジェネレータで２回文字列リテ…