Profile
Masanori Ogino 𓀁
181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
https://mstdn.maud.io/@omasanori
Masanori Ogino 𓀁 reblogged at 4 years ago
艮 鮟鱇 anqou@mstdn.anqou.net
MLまわりだとパラメタ多相とかはよく扱われていてTaPLにも当然載っている。OCamlにオーバーロードが無いからMLでは入れないのが普通なんかなぁと思っていたが、SML#とかF#にはあるので、何かしらの形式化は存在しそう