Pascalではなく、Pascalよりもはるかに制限の少ないAdaで、低レベルのプログラミングよりも同じ利点を享受しています。また、2012年の言語リビジョンや正式に証明可能なSPARK言語でサポートされています。作業。
gccがサポートするプロセッサは、Adaをサポートする可能性があります。Adaは、gnatコンパイラがgccの完全な一部です。
アーダのAVRプロセッサには、 AVR-Adaプロジェクトを参照してください。
ArduinoとCとの同じ比較をしていない限り、簡単なGnat実行ファイルがArduinoに比べてどれくらいのスペースをとっているかは驚きになるでしょう。どちらも同じgccコンパイラを使用します。
ARMベースのArduinos(少なくともArduinoのために)同じことが可能ですが、サポートは新しく、おそらくそれほど確立されていません。 Cortex-GNATプロジェクトを参照してください。
Arduinoを離れると、Adaは MSP430プロセッサでデモンストレーションされました。自分自身のプロジェクトで、悲しいかなか無視されました。