Closures vs Objects

Closures vs Objects (228ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

162(1): 2024/11/28(木)22:37 ID:iYyun2JN(1/2)調 AAS
代入をなくそう

n = 1ではなく

n: 1 (nは1である)
n: Nat (nは自然数である)

これを基礎とする

166: 2024/11/29(金)18:22 ID:FvJq/OMC(1)調 AAS
>>162
n: 1は、nを1で置き換えられるが
n: Natは、n≠Natなので
何か本質的に異なるものに思える