2006-03-18から1日間の記事一覧

ぱたーんまっちんぐ

http://jijixi.azito.com/cgi-bin/diary/index.rb?date=20060318#p02letもパターンマッチングなので、 type t = A of int | B of int;; let A i | B i = A 3;;とかできるという話。確かに便利なのですが、Variantをやろうとすると、 Warning P: this pattern…

Ctrl-s

しばらくパワーポイントでスライド作ってたので、左手が反射的にファイル保存するようになってしまった。auto-save-buffers入れてあるから、必要ないのに。

コンパイラにType.equalが無いと怒られたので、しかたがないのでType.equalを書いていたのだが、あまりのめんどくささに、なげだしたくなった。そもそも、どういてTypeの等値性のテストが要るんだ?ああ、そうか。多相型の定義にSetを使っているから、Pervas…

GABAN

(゚Д゚)ウマー