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:
It reads almost like an attempt at another SPARK, but I’m curious to hear more for sure.
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.
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.