Oℕ
запруфаешь, почему нет
ну потому что он и не обладает ни одним нормальным качеством, чтобы пруфать
Size: a a a
2020 June 03
ᛒ
Ты бля видел скалак?
чел, я в нем работаю
AG
ну я знаю шо есть запруфаный компилятор для си на коке
дак он с нуля написан специально под пруфы
AS
чел, я в нем работаю
Чел…
AG
ну потому что он и не обладает ни одним нормальным качеством, чтобы пруфать
сепарационкой можно
Oℕ
а если начать с конпелятора с маленьким запруванным ядром
то потом можно убедиться, что либо все фичи новые выражаются через это ядро
AS
чел, я в нем работаю
Нашутился?
AG
то потом можно убедиться, что либо все фичи новые выражаются через это ядро
ето называется элаборация спасибо олег продолжай
Oℕ
либо добавки в ядро требуют новых пруфов и нужно сохранять качества
ᛒ
AS
то потом можно убедиться, что либо все фичи новые выражаются через это ядро
Ядро твердое?
ᛒ
просто есть ли в етом смысл и профит
AS
просто есть ли в етом смысл и профит
Нет.
Oℕ
ето называется элаборация спасибо олег продолжай
ну чо ты сам тогда не объясняешь бартоссу
ᛒ
Нет.
даже с точки зрения спецификации?
Oℕ
какого хуя я жду пять минут, пока ты не начнёшь объяснять, ты молчишь, я объясняю на камильском, а ты начинаешь токсить
Oℕ
не буду продолжать
AS
даже с точки зрения спецификации?
Чел, они даже просто написать конпелятор, который бы работал согласно спеке не могут.