Комментарии / Профиль pythonmylife

11.11.2022 06:50:23

Fri, 11 Nov 2022 06:50:23 GMT

Замечательные типы - это хорошо, но и сама система типов языка должна предоставлять такую возможность - ADT, pattern matching, желательно HKT или хотя бы GAT's.

29.07.2022 08:12:15

Fri, 29 Jul 2022 08:12:15 GMT

Я к тому, что dpy уже не будет обновляться, в нём поддержка слешей сторонними либами, а есть развивающиеся его форки, как, например nextcord

25.07.2022 19:12:46

Mon, 25 Jul 2022 19:12:46 GMT

discord.py стал deprecated до их выпуска

22.05.2022 16:05:11

Sun, 22 May 2022 16:05:11 GMT

Забавно. Я в свободное время доказал тьюинг-полноту типовой системы Rust'а реализовав выполнитель SmallF*ck -- облегчённого brainf*ck'а. Разглядел очень много похожих моментов в реализации на типах.

Про мою реализацию написал здесь, правда очень много общего

30.12.2021 18:03:20

Thu, 30 Dec 2021 18:03:20 GMT

mapM_ print $ [2, 3, 5, 7, 11, 13, 17]

На хаскеле

19.12.2021 18:26:50

Sun, 19 Dec 2021 18:26:50 GMT

К ассоциотивности: у $ ниже приоритет чем у ., по этому мы можем делать цепочки типа f . g h . q $ x поправьте, пожалуста

16.12.2021 19:29:48

Thu, 16 Dec 2021 19:29:48 GMT

Рад, что помог с пониманием :)

Использование типовых переменных в определениях инстанса встречается очень часто, чтобы частично применить тип, к примеру кайнд Maybe это * -> *, а необходимый для определения Монады это * -> *, и они совпадают, по этому мы просто определяем инстанс как instance Monad Maybe, а кайнд State есть * -> * -> *, по этому для определения инстанса мы его частично применяем. Про кайнды много рассказать не могу, но мы могу сказать что конкретный тип имеет кайнд *, а контейнеры это как бы функции к типам и имеют тип * -> *. Если будут ещё вопросы, добро пожаловать в личку.

16.12.2021 18:21:18

Thu, 16 Dec 2021 18:21:18 GMT

Я имею ввиду, что обьект с типом State Integer () будет являться (обёрнутой) ф-ей типа Integer -> ((), Integer), спасибо за вопрос, уточню в статье

15.12.2021 16:21:01

Wed, 15 Dec 2021 16:21:01 GMT

Хорошо, спасибо, учту.

15.12.2021 07:44:27

Wed, 15 Dec 2021 07:44:27 GMT

Хорошо, переформулирую

15.12.2021 06:23:04

Wed, 15 Dec 2021 06:23:04 GMT

Это проект был создан а обучательных целях, конечно, его никто не будет использовать в реальных целях, в Хаскеле они просто не нужны.

Согласен с 1), но как разработчик в т. ч. на Python мне не столь критичны несколько лишних десятков миллисекунд, повторюсь этот проект в создан обучательных целях.

Со 2) думал, ничего лучше не придумал создавать тип как VarVal = IntVal Int | StrVal String ...

С 3) я разобрался используя типы Maybe, вот сигнатуры публичных get и del ф-ий


get :: Eq name => name -> VarState name val (Maybe val)
del :: Eq name => name -> VarState name val (Maybe ())

30.12.2019 12:59:05

Mon, 30 Dec 2019 12:59:05 GMT

Ещё очень классная тема, это переопределение 'магических' методов.