2進数 17:16 07/10/11 d.y.d.23:24 07/10/23 はすける 昨日の id:MaDさんの発表、 直線距離にして10mくらいのとこでやってたはずなのに行けなかったよ残念。まったく、 「ドラスはアイアンヘッド出にくすぎだろ」とか「さすが締切前はゴルフがはかどるなあ」とか 言っている場合ではなかった。いやそんなこと決して言ってませんが。 パラメトリシティ Parametricity（住井さんの記事に詳しいです）を最初に知ったときに面白いなーと思った記憶について徒然なるままに。 # let rec my_reverse lst = ... ;; - : 'a list -> 'a list = <fun> 「なんかリストのreverseする関数を自前で実装したんだけど正しく実装できたか自信がない。とりあえず型は合った」 というときに、１個具体例を喰わせてみて # my_reverse [0; 1; 2; 3; 4];;
なんでもセミナーの資料を公開します。 - 2007-10-30 - mad日記
