Каковы виды использования полиморфных видов?
Полиморфные виды являются продолжением системы типов Хаскелла,поддержанный по UHC, что позволяет
data A x y = A (y x)
быть напечатанным (родным?) какa -> (a -> *) -> *
, Для чего они полезны?
Зарегистрируйтесь, чтоб продолжить пользоваться всеми функциями Techfeed
ЗарегистрироватьсяУже зарегистрированы?Войти
Полиморфные виды являются продолжением системы типов Хаскелла,поддержанный по UHC, что позволяет
data A x y = A (y x)
быть напечатанным (родным?) какa -> (a -> *) -> *
, Для чего они полезны?