G
щас в хаскель линейные типы протолкнут и заживем!
Ты читал кстати QTT в Идрисе?
Size: a a a
2020 April 27
G
Там у каждого типа есть аннотация сколько раз он будет использован
VG
расширение линейных типов?
G
Попытка склеить линейные типы с зависимыми
G
Idris2 считай на QTT
M
Чет ничего уникального в сессионных типах не вижу
G
Вот если бы в идрисе были библиотеки прям нормальные юзабельные для многопоточки, сессионных типов и так далее, было бы бомба
M
Возможность просто склеить рекстрикт из трейтов (протоколов)
G
Чет ничего уникального в сессионных типах не вижу
Ну контракты в типах
M
Ну все кипятком писаюсь
G
Ну все кипятком писаюсь
👍
VG
да типы мало чего приносят, просто еще 1 уровень, но никто еще на уровне значений не осилил писать нормально
M
ну тока снова болепринт
G
да типы мало чего приносят, просто еще 1 уровень, но никто еще на уровне значений не осилил писать нормально
+
M
так нахуя
VG
в питоне 3 строки на пандас пишут и миллион получают
M
В процедурном стиле проще рестрикт описать
VG
на кложуре жава говнокод клеют и получают несколько миллионов
VG
и типы не нужны
M
Типа нахуй мне рестриктать протоколы если я не могу описать логику вида протокл A+B<bool > или A+B<int, T> + C если тип T соотвествует Kek