TK
А вам другие дяди сказали, что спека должна быть, и никто её менять не будет, ломая мир. Ага, верю.
Size: a a a
2021 May 27
H
и сейчас есть unsound баги, которые даже не лечатся
H
а через unsound, вестимо, можно спровоцировать UB
TK
>с поправкой на баги компилятора
H
а что баги, что нет?
TK
Которые так же будут вне зависимости от спеки
p
Если дядя не следует спеке значит мы ему не доверяем - все просто
p
А в расте непонятно кому верить а кому нет.
SS
Опять пьяные философы срутся
П
Осталось понять каг
Т8
ты не меняй тему. Ты приводишь лживое сравнение зачем?
H
p
Без спеки нельзя сказать что баг а что нет - и в этом главный прикол)))
TK
Сейчас есть нечто очень близкое к спеке, что можно было бы зафиксировать чисто формально, чтобы всякие душнилы не докапывались
H
если я реализую rustc hirrolot edition, непонятно будет ли он компилировать раст или лишь его подмножество
H
в Ada есть даже набор тестов для компиляторов, если компилятор проходит все тесты — он следует стандарту
SS
У Си вообще долгое время стандартом был туториал от K&R
TK
То, что её спекой не назвали, по сути "просто патамушта"
p
Нет в расте такого
H
потому что она недоделанная