MK
@kana_sama можешь попробовать Соболева почитать https://sobolevn.me/2020/10/higher-kinded-types-in-python
Size: a a a
2021 May 30
MK
ну или Богомолова на хабре
A
"вроде бы". я с этим подходом вообще в пхп познакомился, и там просто создавали отдельный тип метку. Т.е. Maybe<A> соответствовало HKT<MaybeBrand, A>.
В ts видимо как-то без этого обошлись.
В ts видимо как-то без этого обошлись.
A
Вроде нет, ибо течет, емнип.
MK
если не ошибаюсь, монада Put в binary это Writer
MK
какие впечатления от haskell in depth?
к
простые примеры использования, которые я нашел в нашем коде:
- какая-то функция обходит структуру, и кидает в райтер все что нашла полезное
- другой код райтером собирает ворнинги, тоже обходя структуру
- еще один код, опять же обходя структуру, в райтер собирает имена типов, которые чем-то интересны
- какая-то функция обходит структуру, и кидает в райтер все что нашла полезное
- другой код райтером собирает ворнинги, тоже обходя структуру
- еще один код, опять же обходя структуру, в райтер собирает имена типов, которые чем-то интересны
MK
в моём коде райтер собирает варнинги при "чистой" валидации, например
A
Ага, там те типы метки таскают с строку с именем типа.
[
А где False?