TK
Вроде бы ниши не очень-то совпадают, даже если пересекаются
Size: a a a
2021 May 30
AN
А как вычислить функцию в дженерик контексте, когда значение конст параметра ещё не задано.
TK
А что значит вычислить?
AN
Наверное тот guaranteed_eq это то что я спрашиваю
TK
До мономорфизации можно какие угодно констрейнты вешать, они всё равно потом отсеются
TK
(Или отсеятся?)
TK
А guaranteed_eq на тип не навесишь
TK
(На дженерик тип до мономорфизации)
AN
Там пишут что то в секции про "equality of two abstract const expressions"
AN
Просто без этого не понятно как их использовать. Получается даже слабее чем тайпнум что ли
TK
Если дадут возможность ошибки компиляции выдавать и заменять ими паники в константных выражениях, вопрос не возникнет, остальное можно будет сэмульнуть через трейты
AN
это идет в разрез тому что тайпчекаем до инстанциирования.
AN
а протайчекать до инстанциирования нельзя для произвольных const функций.
AN
но наверное там как то подругому сделают
2021 May 31
ΑZ
Виндовс
ΑZ
Неужели ты смог идрис воткнуть?
ΑZ
Проекции футамуры фтв
П
В нем есть только тупой асинк*
П
От промазавшего в указателя все так же дохнет