Route 477

■ [types] Structual Subtyping(構造的部分型)とRow Polymorphism(列多相)ってどう違うの

• http://d.hatena.ne.jp/ruicc/20140506/1399393051
  • http://brianmckenna.org/blog/row_polymorphism_isnt_subtyping

Well, subtyping and type inference just don't mix. Doing type inference with row polymorphic records is much easier.

結果的には同じだけど、型推論と構造的部分型を組み合わせるのは大変なので、単に自作言語にrecordを入れたいだけなら列多相を使った方が楽だよ、という感じか。