История изменений
Исправление slackwarrior, (текущая версия) :
На чем все таки надо писать Embedded?
Надо писать на аде. Точнее, на SPARK, но кодить с формальной доказухой и верификацией могут не только лишь все, мало кто :) поэтому платиновые набросы все про плебейский выбор между сортами сишек-плюсишек в наколенном «эмбеде» и пионерскими «убийцами сишек», обреченными переизобретать аду (как растишка)... и оберон(как go).
Исходная версия slackwarrior, :
На чем все таки надо писать Embedded?
Надо писать на аде. Точнее, на SPARK, но кодить с формальной доказухой и верификацией могут не только лишь все, мало кто :) поэтому платиновые набросы все про плебейский выбор между сортами сишек-плюсишек в наколенном «эмбеде» и пионерскими «убийцами сишек», обреченными переизобретать аду (как растишка)... и оберон (как go делает).