Email or username:

Password:

Forgot your password?
All posts Andrey / Baka Neko 🐾's posts Post Back to profile
Andrey / Baka Neko 🐾
9 comments
Моноид-тян 🤔

@baka Третье прям жиза. Мне тут надо было sanitize строк для записи в CSV сделать (и не тащить десять либ под это). Сидишь, заворачиваешь кавычки в кавычки.

10 Jul 2023 at 11:05 | Open on mastodon.social
mittorn

@baka rust так то не хаскель, да и вообще не особо упарывается на доказательности

10 Jul 2023 at 11:21 | Open on masturbated.one
Aleksei � Matiushkin

@mittorn хаскель к доказательствам тоже никакого отношения не имеет, это не идрис (и не агда).

@baka

10 Jul 2023 at 11:53 | Open on mastodon.social
mittorn

@mudasobwa @baka но он хотя бы стремится обрабатывать программу в математическом её представлении, rust же всё-таки рантаймовый, хоть и имеет макросню

10 Jul 2023 at 11:56 | Open on masturbated.one
Aleksei � Matiushkin

@mittorn Чего? Кто куда стремится? В расте, так-то, статическая типизация была, когда я в последний раз проверял.

@baka

10 Jul 2023 at 11:58 | Open on mastodon.social
Ale berada di Kuala Lumpur!

@baka А на хаскеле тогда что

10 Jul 2023 at 11:32 | Open on mstdn.io
Incognito ergo sum ⚔️
Моноид-тян 🤔

@ale @baka Не знаю, как на хаскеле, но у скалистов точно так. Открываешь проект, а туда какую-нибудь категорию Клейсли опять притащили, потому что почему бы и нет.
( ͡° ʖ̯ ͡°)

10 Jul 2023 at 11:58 | Open on mastodon.social
серёжа
Go Up