Avatar
koher 5/10/2017 2:30 AM
↓でも Overload のことしか書いてなくて、インスタンスの合成なんて話は出てきてないように見える。
This corresponds precisely to our intended behavior for overloading
http://cs.brown.edu/courses/cs173/2012/book/types.html#%28part._.Intersection_.Types%29
2:31 AM
Union や Intersection はあくまで型の話であって、インスタンスは常に一つで、そのインスタンスがどのように振るまうかという話だと思う。 (edited)