いや、それはオーバーロードの概念がインターセクションと違う事を示しているだけで

2:10 AM

一般的に拡大するのは違うと思う

2:11 AM

(A -> B) & (A -> C) == (A) -> (B & C) と (A -> B) & ( C -> B) == (A | C) -> B の 2つだけが適用できる

2:12 AM

「オーバーロード == 関数型2つのインターセクション」っていう仮定が正しければkoherの意見は一貫してるけど

2:12 AM

その仮定がそもそも違って

2:12 AM

オーバーロードのほうが条件が厳しい合成の概念で

2:12 AM

それをインターセクションと考えるとおかしくなるんじゃないかと思ってる

2:12 AM

SwiftのTagged UnionがUnion Typeよりも厳しくて畳み込んだりできないのと同じように。

2:13 AM

IntersectionTypeがある言語を僕も使ったことはないけど。