6
ส่วนใดของ Hindley-Milner ที่คุณไม่เข้าใจ
ฉันสาบานว่าเคยเป็นเสื้อยืดขายที่มีคำอมตะ: ส่วนไหนของ คุณไม่เข้าใจเหรอ ในกรณีของฉันคำตอบก็คือ ... ทั้งหมด! โดยเฉพาะอย่างยิ่งฉันมักเห็นสัญกรณ์แบบนี้ในเอกสาร Haskell แต่ฉันก็ไม่รู้ว่ามันหมายถึงอะไร ฉันไม่รู้ว่ามันควรจะเป็นสาขาวิชาคณิตศาสตร์ ฉันรู้จักตัวอักษรของตัวอักษรกรีกแน่นอนและสัญลักษณ์เช่น "∉" (ซึ่งโดยปกติจะหมายถึงสิ่งที่ไม่ใช่องค์ประกอบของชุด) ในทางกลับกันฉันไม่เคยเห็น "⊢" มาก่อน ( Wikipedia อ้างว่าอาจหมายถึง "พาร์ติชัน" ) ฉันไม่คุ้นเคยกับการใช้ vinculum ที่นี่ (มักจะหมายถึงส่วน แต่ที่ไม่ปรากฏจะเป็นกรณีที่นี่.) ถ้าอย่างน้อยก็มีคนบอกฉันได้ว่าจะเริ่มมองหาที่ใดเพื่อเข้าใจความหมายของสัญลักษณ์ทะเลนี้นั่นจะเป็นประโยชน์