скажите мне, кто умеет в Haskell
Вот наш maybe
type Maybe a = Nothing | Just a
Здесь же есть HKT?
Это же Maybe или a?
Кажется, что Maybe, так как именно его мы можем параметризовать, но у меня чёт каша какая-то в голове
Пардон, я здесь наврал с синтаксисом Естественно data вместо type
Обсуждают сегодня