(EXPERIMENT) Thinking about making an Ada/SPARK Compiler... with maybe some new stuff?

[Lucretia]

Pretty sure you can do that with c/c++

some_label: { // block
...
} // some_label

[Lucretia]

@cantanima

It’s like one of my least favorite pieces of advice from C++ advocates: “-Wall is your friend.” Do such people ever compile against other people’s code?!?

Then ignore all warnings just to get it to compile.

[DirkCraeynest]

@waleedmebane

The design of the syntax to help to prevent common errors is one of the impressive things about Ada.

Hear, hear!

The syntax of Ada is defined the way it is for very good reasons!

[Irvise]

@TheNachoBIT

Hello everyone! Hope y’all are having a fantastic day/night today!

Welcome!

@Lucretia

We need an alternative compiler based around LLVM as a set of libraries for tooling similar to clang. I have wanted to build language tools whereby I can build an Ada AST, can’t currently do that. Also building a JIT Ada “compiler” into a tool which could be used to build interactive Ada programs was something I was going to do, but I can’t see it happening now.

There is GNAT-LLVM

[Lucretia]

@Irvise

There is GNAT-LLVM

It’s not a component based compiler. You can’t do what I want with that.

Also, added a PR for that.

[Fabien.C]

@DirkCraeynest

The syntax of Ada is defined the way it is for very good reasons!

The syntax of Ada was defined 40 years ago, for very good reasons 40 years ago

In my opinion, it’s fair to challenge each and every design point, including the syntax.

[zertovitch]

@Fabien.C

The syntax of Ada was defined 40 years ago, for very good reasons 40 years ago

In my opinion, it’s fair to challenge each and every design point, including the syntax.

Absolutely fine, as long as we don’t introduce syntax elements defined 55 years ago, for very good reasons 55 years ago…

[cantanima]

Can we introduce syntax elements defined 55 years ago, when they were defined for bad reasons, then?