Ada model compilers have been realized in the past.
Here’s a paper: http://www.ooatool.com/docs/SDFAda90.pdf
Considering the date of the paper, this was a very early attempt at model compilation. IIRC, there was also a presentation given at a later date.
- This reply was modified 5 years, 4 months ago by Lee Riemenschneider. Reason: Additional info