kw's blog - BabyJ: From Object Based to Class Based Programming via Types http://mizunashi.net:80/blog/2008/12/23/1230026020000.html JavaScript ライクな BabyJ という言語、型情報が書ける BabyJT という言語と型システムと健全性、さらに Java ライクな言語への変換と変換の健全性などの... ja kw Tue, 23 Dec 2008 09:53:40 GMT kw 2008-12-23T09:53:40Z ja kw kw's blog http://mizunashi.net:80/blog/