AZ
Есть языки с зав. типами и более-менее развитой экосистемой, хотя бы как у Rust?
нет
Size: a a a
2019 December 30
AZ
хотеть завтипы сейчас в мейнстриме это как хотеть раст в середине нулевых
NV
скала
NV
))))
EG
И ещё потому, что у него не настолько высокий порог входа, как у остальных обсуждаемых языков
У того же Haskell тупо огромный объём непривычных вещей
У того же Haskell тупо огромный объём непривычных вещей
AZ
скала
я б не сказал что там они есть
NV
я б не сказал что там они есть
с костылями есть
NV
в 2.13
AZ
хотя накостылить на шейплесах можно
NV
но экосистема до 2.13 еще не сильно поднялась
AZ
короче, любая полезная деятельность - это 10% фана, и 90% разбора говен
только не на хскелле)
G
хотеть завтипы сейчас в мейнстриме это как хотеть раст в середине нулевых
Опять стало грустно
AZ
на самом деле чем более "сложный" язык тем меньше разбора говен
OA
хотеть завтипы сейчас в мейнстриме это как хотеть раст в середине нулевых
DS
я б не сказал что там они есть
Они там именно что есть, можно выразить зависимую функцию и зависимую пару - значит есть.
DS
Другой вопрос, что не всегда эргономично
AZ
как скажешь
OA
на самом деле чем более "сложный" язык тем меньше разбора говен
разбор говен внутри компилятора
AZ
разбор говен внутри компилятора
этим должна разбираться пачка специальных индусов, а остальным торчать красивый интерфейс
AZ
в rustc говен кстати я особо не нашел