死ぬわけにいかないので書く。「関数型言語」ってなんじゃとかに関係したりしなかったりする話。 「関数型言語」という表現は、何を言いたいかわからなくもないけど、よくわからない表現であると思う。 何をもって関数型言語とするのか？何ができたら関数型…

書かなかったら死ぬ。 （こういうことを書いとくと、明日、「死ぬことになったようで」とか書くハメになりそうだなー←こういういらんことを書いてるあいだに書くべき←こうい）

最近生活していくうえで、型理論が必要になってきたので、若干勉強したのだった。 まー、JavaのGenericsとかってF subだなーとか、その程度を理解したと思ったら http://d.hatena.ne.jp/sumii/20060404/1144111484 問題となった（なったか？）例のアレのとこ…