Не Паскаль, а Ada, который гораздо менее ограничительный, чем
Pascal, пользуясь теми же преимуществами по сравнению с
низкоуровневым программированием и гораздо более активно
поддерживаемый языковыми версиями еще в 2012 году и формально
доказуемым языком SPARK, когда вам нужен ваш код для Работа.
Любой процессор, поддерживающий gcc, может потенциально
поддерживать Ada, компилятор Gnat которого полностью входит в
состав gcc.
Это не вся история, потому что вам также нужна поддержка системы
времени исполнения для устройств Ada, но для AVR-процессора Arduino
существует хорошо установленная среда в виде
Проект AVR-Ada .
Он генерирует неплохие небольшие исполняемые файлы, вы будете
поражены тем, насколько меньше простых простых исполняемых файлов
Gnat по сравнению с Arduino - если вы уже не сделали то же самое
сравнение между Arduino и C ..., которые все-таки используют один и
тот же gcc-компилятор.
Для Arduinos на ARM (по крайней мере, Arduino Due) возможно то
же самое, но поддержка новее и, возможно, менее хорошо установлена,
см.
проект Cortex-GNAT .
Выйдя из Arduino, Ada также была продемонстрирована на процессоре
MSP430 - мой собственный проект, к сожалению, в данный момент
пренебрег ,