web-dev-qa-db-ja.com

hindley-milner

ハインドリー・ミルナーとは何ですか?

Haskellの型システムが他の言語の型システムよりも「強力」な理由は何ですか?

「あなたはヒンドリー - ミルナーのどの部分を理解していないのですか?」