AP
Книга Брагилевского всегда позиционировалась как вторая
Size: a a a
2021 July 01
D
а то проходил курс на степике, дошёл до монад и понял что я ничего не понял. Хотя может это и признак необратимости повреждений мозга
D
не-а, а промисы это что-то типа Future?
D
простите за оффтоп :)
D
вообще простите меня, если сможете. Просто хочется быть умным как вы, а не глупым как я
[
не надо быть умным, как я, потупеешь
K
main = do
putStrLn "hello"
name <- getLine
putStrLn ("hi " ++ name)
return name
переписывается препроцессором в
main =
putStrLn "hello` >>= \_ ->
getLine >>= \name ->
putStrLn ("hi " ++ name) >>= \_ ->
return name
Что примерно соответсвует
let main =
putStrLn("hello").then(_ => {
getLine().then(name => {
putStrLn("Hi " + name).then(_ => {
return Promise.resolve(name)
})
})
})
на жаваскрипте
[
афигеть описание
[
так сразу понятно стало
VL
И если вам удастся это скоипилить, то оно будет работать вечно.
[
class Applicative m => Monad m where
(>>=) :: m a -> (a -> m b) -> m b
монада это any тип, который имеет инстанс данного тайпкласса
[
и соблюдает монадические законы*