Наскільки мені відомо, функція Haskell з обмеженнями класів типів внутрішньо компілюється у функцію з додатковими аргументами, які отримують словники з необхідними реалізаціями кожного конкретного класу типу.
- Чи є інші можливості, як компілювати класи типів?
- Якщо так, то які їх (не) переваги?
- І які компілятори ними користуються?
4
Існує зовсім небагато літератури з цього приводу. Можливо, почніть з впровадження класів типу Дж. Петерсон, М. Джонс. Ви також можете розглядати типи класів як об'єкти та наслідки Олівейри та ін., Який розповідає про це в контексті Scala, але має досить великий розділ щодо пов'язаних робіт.
—
Мартін Бергер
Я знайшов посилання на статтю: Реалізація класів типів. Джон Петерсон та Марк П. Джонс .
—
Петро Пудлак
@MartinBerger зробить це відповіддю?
—
Суреш Венкат
Іншого можна знайти тут .
—
Мартін Бергер
@ Суреш Венкат, я не хотів, щоб це було на відповідь, тому що я не впевнений, що це двоє найкращих чи навіть хороших відповідей. Минув час, коли я переглянув реалізацію функціональних мов. Може бути , деякі з резидентів FP СД може дзвонити в.
—
Мартін Бергер