AV
Примеры значений:
ЕстьДанные 3 :: M Int
ЙаСломалсо :: M Int
ЙаСломалсо :: M Bool
ЕстьДанные 3 :: M Int
ЙаСломалсо :: M Int
ЙаСломалсо :: M Bool
Size: a a a
2020 May 15
AV
замечу, что 2 отличается от 3 несмотря на то, что значение там очень похожее
AV
Теперь мы пишем функцию:
f :: Int -> Int -> M Int
AV
f _ 0 = ЙаСломалсо
f n m = ЕстьДанные (div n m)
AV
Т.е. у нас 2 варианта, если передали 0 то мы сломались, если не 0 - то вернули результат
AV
Дальше делаем первый шаг, пусть у нас есть результат M Int. и мы хотим связать его пока с чистой функцией g :: Int -> Int (например (+1))
AV
введём функцию, которая за нас это сделает:
fmap :: (Int -> Int) -> M Int -> M Int
fmap g a = ...
AV
Как это сделать, чтобы это записать компилятор нас попросит рассмотреть все случаи вариантов M которые бывают
AV
Т.е. что мы можем сделать если у нас есть
(+1) и ЙаСломалсо?AV
Очевидно, мы никак не можем применить функцию, у нас не к чему, мы можем только вернуть ЙаСломалсо
AV
А если у нас ЕстьДанные то мы можем применить функцию, и дальше или сказать
ЕстьДанные (g x) или ЙаСломалсо (но второе не очень логично и кажется нарушает законы)AV
Это функтор, чуть более простой интерфейс чем монада
AV
А с монадой тоже самое примерно, мы создаёт фукнкцию (>>=) читается как байнд (bind)
AV
(>>=) :: M a -> (a -> M b) -> M b
(>>=) =
(>>=) =
A
Переслано от Александр Гранин
Поэтому хороший программист никогда не останавливается на одном языке. В идеале, каждый должен знать по одному языку из основных направлений:
- низкоуровневый язык с ручным управлением памятью (Си, С++, Rust)
- высокоуровневый язык с управляемой (managed) памятью (Java, C#, Scala)
- динамический язык (Python, JavaScript, Clojure, Ruby)
- ООП язык (Java, C#, Ruby, C++, JavaScript)
- функциональный язык (Haskell, Scala, Clojure, Erlang)
- логический (Prolog)
И вот когда программист знает хотя бы по одному из всех категорий, он может принимать действительно взвешенные решения. Его набор инструментов очень расширяется, а изучение нового языка уже не представляет проблем.
- низкоуровневый язык с ручным управлением памятью (Си, С++, Rust)
- высокоуровневый язык с управляемой (managed) памятью (Java, C#, Scala)
- динамический язык (Python, JavaScript, Clojure, Ruby)
- ООП язык (Java, C#, Ruby, C++, JavaScript)
- функциональный язык (Haskell, Scala, Clojure, Erlang)
- логический (Prolog)
И вот когда программист знает хотя бы по одному из всех категорий, он может принимать действительно взвешенные решения. Его набор инструментов очень расширяется, а изучение нового языка уже не представляет проблем.
здесь нет языков из семейства APL. когда человек столкнётся с многомерными массивами, он не сможет выбрать подходящего решения, т.к. не будет знать, что делать и выберет какие-нибудь C или Python.
> Изучение нового языка не будет проблемой
это спорное утверждение в случае семейства APL
> Изучение нового языка не будет проблемой
это спорное утверждение в случае семейства APL
AV
m >>= f = case m of
ЙаСломалсо -> ЙаСломалсо
ЕстьДанные a -> f a
AV
Т.е. если данные уже сломаны, то весь пауплайн ломается, а если есть, то результат применения второй функции
AS
т.е. по типу аргумента выбирается какая функция выполниться
YS
Функция одна и та же
YS
Можно было вместо паттернов написать кейс