HIMA' #5: 型推論 - PARTAKEHaskellが全然読めなくてちょっと面白かったです。いくつか説明が抜けてたような気がしたので、勝手に補足。 多相型の定義 普通、MLとかHaskellとかでは、ネストした多相型は推論されません*1。 ∀α . α → αはOKですが、 ∀α. (∀β. …