計算モデル論ではFLによる型推定の実際について。まずは主型というのを考えます。あるFL式に適合する型が何パターンでも無限に考えられる場合、それを一般的に表したのが主型。主型の構造は、任意の型を示す型変数というのを織り込んで作ります。んで、FL式…
ピンチこそチャンスなんて言われることあるけど、ピンチとチャンスは決定的に違うよね。この前発見した相違点をマーフィーの法則風にまとめてみると、 チャンスは放っておくとすぐに去っていく。ピンチは放っておいてもまだそこにいる。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。