У меня проблема с пониманием различных типов полиморфизма, особенно в отношении OCaml. Я понимаю, что полиморфизм допускает множественные типы в OCaml, обозначенные как «a», но я не понимаю, каковы различные типы полиморфизма.
Если бы кто-то мог дать мне объяснение на языке относительно низкого уровня, это было бы здорово! ad hoc, параметрический, включение / подтип