# What is Flare? Is it Ada 2.0?

**URL:** https://forum.ada-lang.io/t/what-is-flare-is-it-ada-2-0/4710
**Category:** General
**Tags:** ada
**Created:** [September 1, 2026, 5:29pm UTC](https://forum.ada-lang.io/t/what-is-flare-is-it-ada-2-0/4710 "2026-09-01T17:29:38Z")
**Posts on this page:** 4
**Page:** 1

<div class="post-metadata">

### Author: ![ValorZard](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/valorzard/32/623_2.png) [@ValorZard](https://forum.ada-lang.io/u/ValorZard)
#### Post date: [September 1, 2026, 5:29pm UTC](https://forum.ada-lang.io/t/what-is-flare-is-it-ada-2-0/4710/1 "2026-09-01T17:29:39Z")

</div>

I took a look at the ada spark RFC repo recently and there is a RFC for a new language called Flare, but it doesn’t really explain what it is like at all:

[https://github.com/AdaCore/ada-spark-rfcs/blob/f6768e7f8aa13b203f714e397d8393c5679199ae/features/rfc-flare.md](https://github.com/AdaCore/ada-spark-rfcs/blob/f6768e7f8aa13b203f714e397d8393c5679199ae/features/rfc-flare.md)

---

<div class="post-metadata">

### Author: ![lojikil](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/lojikil/32/980_2.png) [@lojikil](https://forum.ada-lang.io/u/lojikil)
#### Post date: [September 1, 2026, 5:40pm UTC](https://forum.ada-lang.io/t/what-is-flare-is-it-ada-2-0/4710/2 "2026-09-01T17:40:34Z")

</div>

It reads almost like an attempt at another SPARK, but I’m curious to hear more for sure.

---

<div class="post-metadata">

### Author: ![pmnw](https://forum.ada-lang.io/letter_avatar_proxy/v4/letter/p/c37758/32.png) [@pmnw](https://forum.ada-lang.io/u/pmnw)
#### Post date: [September 4, 2026, 11:12am UTC](https://forum.ada-lang.io/t/what-is-flare-is-it-ada-2-0/4710/3 "2026-09-04T11:12:20Z")

</div>

I skimmed through the document and I think it’s just a pragma that enables a bunch of AdaCore-specific features that come from their RFCs and extensions to GNAT.

---

<div class="post-metadata">

### Author: ![markhermeling](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/markhermeling/32/855_2.png) [@markhermeling](https://forum.ada-lang.io/u/markhermeling)
#### Post date: [September 7, 2026, 4:32pm UTC](https://forum.ada-lang.io/t/what-is-flare-is-it-ada-2-0/4710/4 "2026-09-07T16:32:41Z")

</div>

Flare covers a set of extensions aimed at improving embedded, safety, proof and adaptability of Ada SPARK.

Timely question as we will start covering some of them in the Ada SPARK Office Hours this Friday.