типу гадт, а не всякие оверлоадедстрингс
ну тоже неясно, где грань)
проще наверное сказать, какие не используются, потому что либы сырые, либо имеют узкую сферу применения и какие используются но чаще в библиотеках, чем в пользовательском коде
линеар тайпс не используются потому что сырые импредикативные типы не используются потому что пойди найди случай, когда они тебе РЕАЛЬНО нунжы тайп роли нужны, чтобы ты мог коерсить Data.Map только правильно, хотя в обычном пользовтельскком коде обычно нет нужды так настраивать тип ффай тоже хорошо бы у себя иметь как можно меньше, а либы используют активно
Линеар тайпс используются
Текст билдер линеар
все расширения были добавлены по очень вескому требованию промышленности и иногда академии. например, StaticPointers добавил Tweag, а потом как-то бросили проекты, в которых оно было нужно
там идейных расширений-то только GADTs, TypeFamilies, LinearTypes
Static pointers потом пошли в народ для всякого лайвкодинга
Обсуждают сегодня