って、どうしようかなーとは迷ってる。いちおう肩書きだけは理論屋だから一回くらいはフォーマルに書き下したいとは思うけど、さてどうしようか。 kuzha のコードから、どんな JavaVM のコードセットが生成されるかだけ書けばいいかな。丸投げパターンだけど…

http://obfusco.com/tmp/popl06-hybrid.pdf Dynamic Checking と (Static)Type Checking の中間くらいって最初に図に書いてあるけど、Soft Typing とどう違うんだろう。参考文献に Fagan の論文があるから、たぶん発展系なんだとは思うが……。

for num in [1..100] do if num mod 3 == 0 and num mod 5 == 0 then puts: "FizzBuzz"; else if num mod 3 == 0 then puts: "Fizz"; else if num mod 5 == 0 then puts: "Buzz"; else puts: num; endfor 文が動いたー