Pertanyaan yang diberi tag hindley-milner

124
Apa itu Hindley-Milner?

Saya menemukan istilah ini Hindley-Milner , dan saya tidak yakin apakah mengerti artinya. Saya telah membaca posting berikut: Steve Yegge - Dynamic Languages ​​Strike Back Steve Yegge - Masalah Pinokio Daniel Spiewak - Apakah Hindley-Milner itu? (dan mengapa itu keren?) Tetapi tidak ada entri...