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

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

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

11 ответов

15 просмотров

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

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

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

Danil Berestov
кем

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

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

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

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

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

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

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

Anyone here suffers from unexplained aural migraines, who would be up for talking for a bit? Doesn't *have* to be aural, but I am not asking about headaches, I mean actual mi...
Martin Rys
55
Я тут за тем, чтобы задать вопрос, так как не знаю ассемблер, учу с/с++. Короче, насколько дорога операция перехода в функцию при ее вызове? Дело в том, что в с++ есть макросы...
Максим Рябцев
11
hello friends. Do you know how can I learn getx? I have a software project that I should deliver it up to 5 weeks later and I need to learn firebase too. I will be thankfull
AmirHossein Razavi
15
Доброе время суток! у меня тут иноды закончились. и понял почему по сути кстит, я периодически очищаю постгрес и сентри контайнер: postgres=# DELETE FROM nodestore_node WHER...
Юсиф Насиров
9
Привет, нужен совет старших товарищей. Есть глобальная переменная var DefaultDataFolder:string; инициализируем DefaultDataFolder:='a:\_OUT\'; есть примитивная процедур...
Max Otto
14
lazarus-3.2.0/gtk, linux патч "имя проекта по умолчанию project1 -> prj" день добрый не нравится "именя проекта по умолчанию" (project1), к.раз приходится переименовывать (н...
livontiy
5
Вопрос. Теоретический. Есть список команд. Команды отправляю в обработку некой функции, по очереди. Разные команды могут давать разные результаты после обработки. В зависимос...
Serjone
7
Коллеги, а в чём сейчас хорошо писать на перле, в смысле ide? Пробовал в идее с плагином, подсветка есть, даже какие-то предупреждения есть, но рефакторинга считай нет. Перене...
Дмитрий Петров
9
Can I forward ports (including the SSH port) between two machines without SSH? I know I can forward SSH server port from machine A (which blocks all requests by firewall) to ...
required optional
5
Всем вечера. Подскажите как лучше сделать. делаю на Д10 Например будет база данных на SQLite. в ней будет много таблиц. более 50шт Типа справочник. Содержать ID Name Id p...
Андрей Т 🐎
10
Карта сайта