Closures vs Objects

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

126: 2024/03/16(土)22:15 ID:ajdJdfuW(1/3)調 AAS
そもそもOOPにおける継承ってのは、数学的に破綻してるんだよ
>>116で述べているとおり
型定義にサブタイピングの実装方法が入るわけがない

127(1): 2024/03/16(土)22:18 ID:ajdJdfuW(2/3)調 AAS
自然数 is a モノイド

と自然にみなす方法は2通りある
その方法は自然数の定義とは関係ない

129: 2024/03/16(土)22:30 ID:ajdJdfuW(3/3)調 AAS
行列式=1の2次正方行列が、
自分の型はM(2)なのか、GL(2)なのか、SL(2)なのかなんて知らんがな