AV
(поэтому мишн критикал софтварез и на Rust делать не стоит тоже)
Size: a a a
2021 November 24
GM
Боюсь, если напишу меня распнут, заблочат, арестуют, повесят, скушают, etc :-)
GM
Потому и Оберон на АЭС и в Си голый его. Вирт прав.
Но и на Аде пишут.
Я на Модуле2 в 90х писал с семафорами.
Но и на Аде пишут.
Я на Модуле2 в 90х писал с семафорами.
АР
"мишн критикал софтвареза" надо писать на языках с формальной верификацией и проработанной моделью памяти
АР
осталось только придумать такие языки и можно начинать
AV
Оберон вообще нельзя. Там баги в спеке языка. И спека недописана, считай её нет однозначной.
AV
И компиляторы очень сомнительного качества
GM
ФизПрибор в платы логику работы прошивает. Аппаратно. Цена одной платы 200..300 баксов всего.
AV
ага. SPARK например
GM
... это как? Против Вирта и пророка его Дагаева? А примеры можно?
АР
Spark runs on the Java Virtual Machine (JVM)
не-а
не-а
AV
ну, начиная от порчи памяти в Оберон-оси от самого Вирта (система намертво вешается одним движением мышки) до багов в том же Блекбокс-компиляторе и ратайме, на которые я напарывался.
А когда писали компилятор мы, мы детально читали спеку. И там была масса неоднозначностей.
По этому поводу холиворов внутри оберон-сообщества была масса. И они меня несколько утомили.
А когда писали компилятор мы, мы детально читали спеку. И там была масса неоднозначностей.
По этому поводу холиворов внутри оберон-сообщества была масса. И они меня несколько утомили.
AV
чо? нет
AV
на baremetal работает
AV
это не тот spark 🙂
АР
ну для mission critical GC это приговор
AV
ты апач-спарк нашел. это вообще не про то 🙂 название то же, но это не то
AV
всё равно что C считать что это вообще про музыку -- нота же!
AV
baremetal, отсутствие рантайма и GC