3
Hindley-Milner คืออะไร?
ฉันเจอคำนี้ฮินด์ลีย์ - มิลเนอร์และฉันไม่แน่ใจว่าเข้าใจความหมายหรือไม่ ฉันได้อ่านโพสต์ต่อไปนี้: Steve Yegge - Dynamic Languages Strike Back Steve Yegge - ปัญหา Pinocchio Daniel Spiewak - Hindley-Milner คืออะไร? (แล้วทำไมถึงเท่ล่ะ?) แต่ไม่มีรายการเดียวสำหรับคำนี้ในวิกิพีเดียซึ่งมักจะให้คำอธิบายสั้น ๆ แก่ฉัน หมายเหตุ - ตอนนี้มีการเพิ่มหนึ่งรายการ มันคืออะไร? ภาษาและเครื่องมือใดบ้างที่ใช้หรือใช้ คุณช่วยเสนอคำตอบที่กระชับได้ไหม