2005-07-05から1日間の記事一覧

なんのこっちゃ

計算モデル論ではFLによる型推定の実際について。まずは主型というのを考えます。あるFL式に適合する型が何パターンでも無限に考えられる場合、それを一般的に表したのが主型。主型の構造は、任意の型を示す型変数というのを織り込んで作ります。んで、FL式…

絶対相違点

ピンチこそチャンスなんて言われることあるけど、ピンチとチャンスは決定的に違うよね。この前発見した相違点をマーフィーの法則風にまとめてみると、 チャンスは放っておくとすぐに去っていく。ピンチは放っておいてもまだそこにいる。