[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

836: 01/15(水)00:39 ID:v8xz0BVe(2/2) AA×


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
836: [sage] 2025/01/15(水) 00:39:55.88 ID:v8xz0BVe `f1 = Foo 1`なら、`f1`の型は`Foo 1` 基本的にはこれでいい `Foo 1`は `{n: Nat} Foo n`のサブタイプ `f1`を`Bar :: t -> s`に渡せるのは、`Foo 1`を`t`に変換する規則が存在するとき 型検査はそれをコンパイラがチェックすればいい http://mevius.5ch.net/test/read.cgi/tech/1710585705/836
ならの型は 基本的にはこれでいい は のサブタイプ を に渡せるのは をに変換する規則が存在するとき 型検査はそれをコンパイラがチェックすればいい

---

上下前次1-新書関写板覧索設栞歴

---

あと 166 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

ぬこの手 ぬこTOP 0.017s