Mark Hermeling (@markhermeling)
Never use Float or Integer
Ada treats numbers as more than just numbers, and that changes how embedded code fails. This post shows why you should avoid using Float and Integer directly, then demonstrates how distinct types, ranges, and subtypes let the compiler catch unit mix-ups and out-of-range values before runtime. It also shows the same code running on a Raspberry Pi Pico, and briefly introduces SPARK for proving correctness.
No Threads Found
Use this form to contact markhermeling
Before you can contact a member of the *Related Sites:
- You must be logged in (register here)
- You must confirm you email address
