Свободные монады : Монады
Списки : Моноиды
Списки сохраняют моноидальную структуру, а потом можно сделать mconcat
Свободные монады сохраняют монадическую структуру (дерево bind-ов), а потом их можно retract
() -> a
)
interface{}
Говорят в пайтоне тоже типов-сумм нету
ты можешь сделать массив из объектов класса Банан и класса Линза — оно тип-сумма с этой т.з.
interface{}
и ручками проверять ошибка там вернулась или значение.
Int Maybe
это невалидный тип, а Maybe Int
валидный, чем не типизация для типов?
On the bright side #haskell is very welcoming and helpful. Thank god for that.
This codebase I've inherited does I/O during compile time. How is that even possible???
newtype
надо.
init :: Text -> Bool -> IO (Either Int Float)
и что туда совать..
data SomeType { stThis :: (), stThat :: () }
m
for Maybe
x
xs
тоже сорт венгерской нотации, s
означает []
make