kw's blog - Typestate: A Programming Language Concept for Enhancing Software Reliability http://mizunashi.net:80/blog/2008/09/10/1220974555000.html 変数の型だけでなく、宣言されただけなのか... ja kw Tue, 09 Sep 2008 15:35:55 GMT kw 2008-09-09T15:35:55Z ja kw kw's blog http://mizunashi.net:80/blog/