169 похожих чатов

А какие расширения активно используются в промышленности? Именно идейные, по

типу гадт, а не всякие оверлоадедстрингс

11 ответов

24 просмотра

ну тоже неясно, где грань)

проще наверное сказать, какие не используются, потому что либы сырые, либо имеют узкую сферу применения и какие используются но чаще в библиотеках, чем в пользовательском коде

линеар тайпс не используются потому что сырые импредикативные типы не используются потому что пойди найди случай, когда они тебе РЕАЛЬНО нунжы тайп роли нужны, чтобы ты мог коерсить Data.Map только правильно, хотя в обычном пользовтельскком коде обычно нет нужды так настраивать тип ффай тоже хорошо бы у себя иметь как можно меньше, а либы используют активно

Danil Berestov
кем

Текст билдер линеар

все расширения были добавлены по очень вескому требованию промышленности и иногда академии. например, StaticPointers добавил Tweag, а потом как-то бросили проекты, в которых оно было нужно

там идейных расширений-то только GADTs, TypeFamilies, LinearTypes

Cheese Syrowiecki
все расширения были добавлены по очень вескому тре...

Static pointers потом пошли в народ для всякого лайвкодинга

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Карта сайта