Good to see it show up on HN. It&#x27;s a nice language and their rise4fun project brings such stuff to a wider audience. I wonder if any readers with a lot of hands-on experience in these can tell me how it compares to SPARK Ada. About the same? Behind in capabilities? Ahead in some ways?<p>SPARK would seem to be the definitive baseline to compare all the others, too.