共用型がまさかの完成

共用型を対応するためにRoku側のコードを書いて
CILへの対応は一旦置いといてコンパイルしてみたところ、なんと期待通りに動いてしまった!
共用型はとりあえず1個目の型に変換しとくってロジックがあるだけなのでCILでは正しいわけがない
せやからCILでは実行時型エラーになるかと思ってたら、CILって型チェックせーへんのかい!?

f:id:zenu:20171106020320p:plain

関数fの中身はswitch文やから、呼べたらそらまぁ動くとして
f(x: Circle)って関数が一個だけ作られて呼び出し側がTriangleやRectangleでも
へーきな顔して呼びよる
なんでも来い状態やないか

真面目に対応するモチベ下がるわ、ホンマ~