ΑZ
для завтипов ты должен иметь возможность использовать ЛЮБОЙ экспрешн в качестве аргумента для типа
Size: a a a
2021 May 26
ΑZ
а не то что одобрила тима ТМ
ΑZ
можно счтиать язык завтиповым по отношению к некоемоу набору операций но это не оч полезно наверное
B
да, любое (констекспр) выражение (про с++, не раст)
ΑZ
а, ты про сипипи
ΑZ
@technic93 вот ещё в 2 словах
AN
вот это поворот. т.е. чтобы это байду построить формально нам надо отличать типы и термы.
B
так выходит кресты компайл-тайм завтиповые?
ΑZ
ну шо-то вроде того
B
а рантайм как всегда пососал
ΑZ
но компайл тайм не очень интересно
ΑZ
пушто самые интересные вещи ты не можешь делать
ΑZ
стоит прийти значению в ранатйме и все рушится
ΑZ
я выше скинул уровни
ΑZ
есть термы, котоые делятся на типы, которые делятся на кайнды, которые все имеют сорт
[]B
тоесть пара пропозалов и завтипы могут стать на крестьі?
ΑZ
не думаю
ΑZ
проблема не только теоретическая но и практическая
AN
3011 стандарт да.
B
