JS
Есть какие-то идеи, как можно натренировать мозг на HTK?
это же ровно то же самое, что HOF, только для типов
Size: a a a
2021 March 26
JS
а с зависимыми типами это действительно одно и то же
YK
это же ровно то же самое, что HOF, только для типов
Вот с одной стороны я это прекрасно осознаю, но с другой - не понимаю как это использовать.
Опыта в TS почти ноль.
Курта прошёл только до введения в обиход
Опыта в TS почти ноль.
Курта прошёл только до введения в обиход
MaybeJS
map принимает функцию из данных в данные, а, например, класс Functor принимает функцию из типа в тип
YK
map принимает функцию из данных в данные, а, например, класс Functor принимает функцию из типа в тип
То есть здесь
class Functor f where
fmap :: (a -> b) -> f a -> f b
f - указание на тип?JS
может, тогда сначала c lower-kinded types освоиться?
YK
может, тогда сначала c lower-kinded types освоиться?
Что почитать?
JS
То есть здесь
class Functor f where
fmap :: (a -> b) -> f a -> f b
f - указание на тип?здесь f — функция из типа в тип. можно сказать "параметрический тип"
JS
Что почитать?
того же Курта далее
YK
того же Курта далее
Принято.
Мотивации не хватает, но попробую к нему вернуться
Спасибо)
Мотивации не хватает, но попробую к нему вернуться
Спасибо)
JS
То есть здесь
class Functor f where
fmap :: (a -> b) -> f a -> f b
f - указание на тип?a — тип (данных)f a — тоже тип (данных)f — не тип, а преобразование между первыми двумяJS
а можно перестать хотеть "понимать HKT" и просто пользоваться Maybe, Either, Reader, Writer, State. это более плодотворно, насколько я вижу
YK
а можно перестать хотеть "понимать HKT" и просто пользоваться Maybe, Either, Reader, Writer, State. это более плодотворно, насколько я вижу
😁😅
JS
То есть здесь
class Functor f where
fmap :: (a -> b) -> f a -> f b
f - указание на тип?например, давай читать так:
f — это переменная, в которую можно подставить [], Maybe, Either e, Reader r, Writer w, State s и много других интересностей
f — это переменная, в которую можно подставить [], Maybe, Either e, Reader r, Writer w, State s и много других интересностей
YK
например, давай читать так:
f — это переменная, в которую можно подставить [], Maybe, Either e, Reader r, Writer w, State s и много других интересностей
f — это переменная, в которую можно подставить [], Maybe, Either e, Reader r, Writer w, State s и много других интересностей
Ну то есть, условно, это тот контекст, в который поднимается функция
a -> b?2021 March 27
JS
Ну то есть, условно, это тот контекст, в который поднимается функция
a -> b?да, можно и так сказать, хотя это довольно расплывчатая формулировка
YK
да, можно и так сказать, хотя это довольно расплывчатая формулировка
У меня пока всё, что касается взрослого ФП - расплывчатое 🙈
JS
в Хаскеле есть несколько способов поднять функцию в контекст, выраженный функцией над типами
один из них — fmap
fmap :: (a -> b) -> (f a -> f b)
pure :: (a -> b) -> f (a -> b)
(pure .) :: (a -> b) -> (a -> f b)
один из них — fmap
YK
в Хаскеле есть несколько способов поднять функцию в контекст, выраженный функцией над типами
один из них — fmap
fmap :: (a -> b) -> (f a -> f b)
pure :: (a -> b) -> f (a -> b)
(pure .) :: (a -> b) -> (a -> f b)
один из них — fmap
Да, первый я видел преимущественно в статьях, а вот другие два пока что нет
JS
есть и другие контексты, в которые можно поднимать функции, но не буду перегружать