การใช้งานที่เป็นไปได้ของคลาสประเภทของ Haskell คืออะไรและมีข้อได้เปรียบอะไรบ้าง

เท่าที่ฉันทราบฟังก์ชัน Haskell ที่มีข้อ จำกัด ประเภทคลาสจะถูกรวบรวมภายในฟังก์ชันด้วยอาร์กิวเมนต์เพิ่มเติมที่รับพจนานุกรมด้วยการใช้งานที่จำเป็นของคลาสประเภทเฉพาะแต่ละประเภท

มีความเป็นไปได้อื่น ๆ อีกหรือไม่ว่าคอมไพล์คลาสชนิดไหน?
ถ้าเป็นเช่นนั้นข้อดีของพวกเขาคืออะไร?
และคอมไพเลอร์ตัวไหนที่ใช้มัน?

— Petr Pudlák
แหล่งที่มา

มีวรรณคดีอยู่บ้างเล็กน้อยในเรื่องนี้ อาจเริ่มต้นด้วยImplementing Type Classesโดย J. Peterson, M. Jones คุณสามารถดูประเภทคลาสเป็นวัตถุและนัยโดย Oliveira et al ซึ่งพูดถึงเรื่องนี้ในบริบทของสกาล่า แต่มีงานที่เกี่ยวข้องค่อนข้างมาก

— Martin Berger

ฉันพบลิงค์ไปยังกระดาษ: การใช้คลาสประเภท จอห์นปีเตอร์สันและมาร์คโจนส์พี

— Petr Pudlák

@MartinBerger ตอบคำถามนี้หรือไม่?

— Suresh Venkat

คนอื่น ๆ สามารถพบได้ที่นี่

— Martin Berger

@Suresh Venkat ฉันไม่ต้องการให้คำตอบเพราะฉันไม่แน่ใจว่าทั้งสองนี้เป็นคำตอบที่ดีที่สุดหรือแม้แต่คำตอบที่ดี เป็นเวลานานแล้วที่ฉันดูการใช้งานภาษาที่ใช้งานได้ บางทีบางส่วนของ bods FP ถิ่นที่สามารถสอด.

— มาร์ตินเบอร์เกอร์

JHC ใช้วิธีการอื่น ภาษากลางของคอมไพเลอร์เป็นแลมบ์ดาแคลคูลัสที่พิมพ์ได้อย่างพึ่งพาซึ่งไม่มีความแตกต่างระหว่างประเภทและค่า JHC จึงสามารถทำการวิเคราะห์กรณีและปัญหาเกี่ยวกับพารามิเตอร์ชนิดของฟังก์ชันและเรียกใช้ฟังก์ชันโอเวอร์โหลดที่ถูกต้องได้โดยตรง

เว็บไซต์ JHC มีความลึกในการใช้งานรวมถึงข้อดีของการใช้การส่งผ่านพจนานุกรมมาตรฐาน

— Dominic Mulligan
แหล่งที่มา