# Ada Bootstrap compiler funding thanks to nlnet!

**URL:** https://forum.ada-lang.io/t/ada-bootstrap-compiler-funding-thanks-to-nlnet/2014
**Category:** General
**Created:** [April 23, 2025, 4:09pm UTC](https://forum.ada-lang.io/t/ada-bootstrap-compiler-funding-thanks-to-nlnet/2014 "2025-04-23T16:09:02Z")
**Posts on this page:** 1
**Showing post:** 28

<div class="post-metadata">

### Author: ![OneWingedShark](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/onewingedshark/32/305_2.png) [@OneWingedShark](https://forum.ada-lang.io/u/OneWingedShark)
#### Post date: [May 5, 2025, 8:31pm UTC](https://forum.ada-lang.io/t/ada-bootstrap-compiler-funding-thanks-to-nlnet/2014/28 "2025-05-05T20:31:52Z")

</div>

> [@F-Loyer](#):
>
> However, this language is quite fragile (I mean, there are no consistancy check). I won’t choose it to implement something as complex as a compiler.

That’s why you implement it in Ada, and use a SPARK-verified SeedForth-generating backend to emit the “code” — you get all the [verified/provable] consistency from SPARK and let the Forth be the ultra-lowlevel that it is.

---

_[View the full topic](https://forum.ada-lang.io/t/ada-bootstrap-compiler-funding-thanks-to-nlnet/2014)._