Closures vs Objects (228ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
162(1): 2024/11/28(木)22:37 ID:iYyun2JN(1/2)調 AAS
代入をなくそう
n = 1ではなく
n: 1 (nは1である)
n: Nat (nは自然数である)
これを基礎とする
163: 2024/11/28(木)22:39 ID:iYyun2JN(2/2)調 AAS
こうすればパターンマッチなどに統一性がとれるだろう
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.019s