AT
а applyOptional’ Empty (Full x) как должно работать?
applyOptional' :: Optional (a -> b) -> Optional a -> Optional b
applyOptional' (Full f) (Full x) = Full (f x)
applyOptional' _ _ = EmptySize: a a a
2020 October 09
ХГ
ХГ
Сорри. скопипастил не оттуда.
JC
Полный чат самовлюблённых ублюдков
Опять завидуешь тощим красавцам
ХГ
Ладно, пробую ещё раз. У меня есть функция (a->b). Есть тип Optional a. Мне надо построить функцию, которая будет работать с Optional (a->b). Я могу сделать так:
applyOptional' :: Optional (a -> b) -> Optional a -> Optional b
applyOptional' (Full f) (Full x) = Full (f x)
applyOptional' _ _ = EmptyХГ
Об этом написано в учебниках. А откуда берётся такое решение:
applyOptional :: Optional (a -> b) -> Optional a -> Optional b
applyOptional f a = bindOptional (\f' -> mapOptional f' a) fХГ
Это у меня тоже уже есть.
bindOptional :: (a -> Optional b) -> Optional a -> Optional b
bindOptional _ Empty = Empty
bindOptional f (Full x) = f xAT
applyOptional от bindOptional отличается первым аргументом. вместо (a -> Optional b) там Optional (a -> b).
Следовательно, applyOptional это bindOptional с трансформацией функции (a -> Optional b) в Optional (a -> b), а это mapOptional. все ж логично, и как раз не “последующее знание”, о котором вы жалуетесь постоянно, а ровно то, что было показано до этого.
Следовательно, applyOptional это bindOptional с трансформацией функции (a -> Optional b) в Optional (a -> b), а это mapOptional. все ж логично, и как раз не “последующее знание”, о котором вы жалуетесь постоянно, а ровно то, что было показано до этого.
ХГ
Следовательно, applyOptional это bindOptional с трансформацией функции (a -> Optional b) в Optional (a -> b), а это mapOptionalВот это разверните чуть подробнее...
ХГ
То, что по сигнатурам похожи — я вижу.
AT
чтоб applyOptional выразить через bindOptional нужно первый аргумент преобразовать из переданного Optional (a -> b) в a-> Optional b
ХГ
То есть надо построить функцию, у которой будет сигнатура
Optional (a -> b) -> (a-> Optional b)
Optional (a -> b) -> (a-> Optional b)
LO
Опять завидуешь тощим красавцам
Я уже вешу как до женитьбы
DF
Фигаро?
LO
Своей
DF
Кек
DF
А я думал Бальзаминова
LO
Как до центнера скину буду шеймить жиробасов
DF
А расскажите про женитьбу