http://www.shiro.dreamhost.com/scheme/wiliki/wiliki.cgi?Shiro 俺は静的型でバグが潰せるというのはまやかしの安心だと思っているが、静的検証ツールでバグが潰せるというのは信じている。 結局のところ現在の世の中で普通に利用されている型システムとい…

大体において俺が面白いことを言おうとすると，ボケる側に周るわけですが，わりかし失礼でわかりにくいボケ方をするので，あんまり親しくない人の前だとそういうわけにはいかなくって，つまり面白くない人である．まあ，根本的に面白いことを言えないという…