YS
Всё так
Size: a a a
2020 May 15
AI
ок. просто такой теоретический спор был, вот я и удивился, что активный сторонник хаскеля не писал аппликативы и функторы )
YS
В рабочем коде
YS
Я сделал поправку
YS
Когда учил - чёт писал, конечно
AI
писал в нерабочем? )
YS
Ну да, в учебном
YS
Да и я не активный сторонник хаскеля
YS
Я активный противник хамства
YS
А языки я все люблю
YS
Особенно после 1С
AI
лан, пошел почитаю чатик выше, может там что еще интересного было )
AS
Типы могут быть параметризованными, т.е. принимать аргументом другой тип: M A - это тип M принимающий аргументом тип A
это уловил, теперь осталось со связкой разобраться f :: A -> M B и g :: B -> M C
т.е. монада это то, что свяжет f и g, свяжет в одну функцию?
т.е. монада это то, что свяжет f и g, свяжет в одну функцию?
AV
YS
Интерфейс, который может это сделать
AS
да, теперь пример бы)
AV
Давай с простым мы хотим написать функцию безопасного деления
AV
Нам нужно как-то выразить, что наше действие может сломаться
AV
Введём стурктуру данных, которая это опишет:
data М а = ЕстьДанные а | ЙаСломалсо
или
data Maybe a = Just a | Nothing -- так в языке
data М а = ЕстьДанные а | ЙаСломалсо
или
data Maybe a = Just a | Nothing -- так в языке
AV
Т.е. это тип данных, у которого 2 конструктора, в одном есть те данные, которые мы записали, а в другом ничего нет