2007-10-06から1日間の記事一覧

Concurrent Clean : CleanJ : ABCコード : Jasmin

ABCコードは型がないので、これをJavaコードに起こすには型を推論しなければいけない。で、これが結構面倒くさい。 JavaコードではなくJasminを使えば、型の推論を回避できるだろうかと考えている。*1 ただ、Jasminのドキュメントはちょっと少ない。すでに絶…