S
а откуда макросы в разговоре про завтипы
Size: a a a
2020 May 21
p
Т-34 85
Мне кажется, что даже если так, писать код на таком языке будет некому. Слишком сложно!
Ну не, завтипы прикольные
G
а откуда макросы в разговоре про завтипы
Потому что ты спросил почему нельзя Си скомпилировать
S
😐
S
нет
G
нет
Да?
S
да
S
нет
p
нет
Да
G
Ладно
S
дагде
p
эмм аа что
.
S
лол что
G
Я как бы намекаю на то, что теоретическая невозможность - не всегда ограничение
DF
Да
p
Вообще если есть конкретика говори
DF
Так то и вывод типов в языке с сабтайпингом неразрешим
p
А то так любой Тьюринг полный язык невозможно скомпилировать, как сказал хиро
Т8
Там, насколько я знаю, используются плагины, которые автоматически переносят спецификации, которые необходимо доказать, из си в утверждения на языке с зав типами
Как-то всё это накладно. В самолётах и медоборудовании, конечно, это оправдано
S
ну недетерминизм если будет условно какоцнибудь приём данных с сервера