For example why not Ada/Spark? People hate the Wirthian syntax? I mean it’d be nice to be able to write M1/M2 Mac OS native Ada code but no one offers that it

For example why not Ada/Spark? People hate the Wirthian syntax? I mean it’d be nice to be able to write M1/M2 Mac OS native Ada code but no one offers that it seems.