2018-11-19
MLの型推論に参照・代入を導入して拡張する
ちょうどこれに直面していた
letの右辺がvalueである場合とそうでない場合でclosureの作り方を変えた
ほんとうに型安全なのかは証明していない
たぶんいけると思うが……
「let-polymorphismを右辺が値である場合のみに限る」の状態になった
したがって多相性が失われてる式が多くあると思う
poor man's polymorphism
upcastとdowncastを繰り返すこと
Javaみがある
poor man's subtyping
void *をキャストして使いまくること