ΑZ
тогда С++ одной ногой в завтипах
он как осьминог, он одной ногой во всём и всех парадигмах сразу
Size: a a a
2021 February 14
SP
тогда С++ одной ногой в завтипах
с этим тейком выступал царь недавно
ΑZ
с этим тейком выступал царь недавно
а тут можно вспомнить кармака
ΑZ
"проблемы плюсов не в том что они что-то не умеют. а в том, что они умеют слишком дохуя всего сразу" ©
Z
это довольно странно называть конст дженерики+специализацию зав. типами, всё равно есть фундаментальное разделение на рантайм - комайлтайм
ΑZ
всегда интреснее вопрос практичности, а не теоретической возможности хз
ΑZ
генерировать типы-синглтоны руками - нереально
ΑZ
даже ньютайпами в шарпе например не пользуется никто потому что нет дерайвов и это неудобно
ΑZ
но вот подобная запись
function apiCall<E extends boolean>(withExtraInformation: E): APIResult<E>Вполне завтипы имхо. И bool можети прилетать рантаймовый
Z
но вот подобная запись
function apiCall<E extends boolean>(withExtraInformation: E): APIResult<E>Вполне завтипы имхо. И bool можети прилетать рантаймовый
но оно же раскрывается до рантайма, вся суть зав. типов что тебе в рантайме прилетает тип dependent type is a type whose definition depends on a value.
ΑZ
согласен но хотя бы "завтипы для констант" это уже хоть что-то
ΑZ
константу можно рассматривать и как тип и как терм
ΑZ
лифтить рантайм значения в синглтоны можно
ΑZ
в общем никто не говорит что ТС это идрис
ΑZ
но система типов у него довольно мощная
Z
согласен но хотя бы "завтипы для констант" это уже хоть что-то
а я не спорю с тем что это практически полезно, и лучше хоть так, чем руками/макросами синглтоны писать
p
Sing - один из шагов в сторону завтипов, ты не прав
Тайпхинты - один из шагов с торону заытипов
ΑZ
"«Это провал»: автор «Черного лебедя» начал избавляться от биткоинов" https://www.forbes.ru/newsroom/finansy-i-investicii/421127-eto-proval-avtor-chernogo-lebedya-nachal-izbavlyatsya-ot
ΑZ
Кек
ΑZ
Тайпхинты - один из шагов с торону заытипов
Очевидно да