coursera 関数型プログラミングのコースで、私は微妙な概念に出くわしました。
A2 <: A1およびB1 <: B2の場合、(A1 => B1) <: (A2 => B2)
正当化
- A2 に引数を渡すと、サブタイプの関係により、同じ引数を A1 に渡すことができます。
- 次に、関数 A1 => B1 を適用します。
- 次に、その関数は B1 を返し、B2 として修飾されるサブタイプのため
これをベン図で描くと、
図1
図2
- これについて正しい図はどれですか?
- そのベン図を使って結果をどのように説明できますか?
参考：Youtube動画
ありがとう