A programming language designed for education following philosophy of How to Design Programs with some ideas diverging from Racket. See Why Pyret? for more info.
A programming language designed for education following philosophy of How to Design Programs with some ideas diverging from Racket. See Why Pyret? for more info.
I’d love to see a comparison between this and quorum.
We’re really different. We’re very focused on getting the semantics right, less focused on syntactic details. So a direct comparison would not be very meaningful.
I keep thinking about putting an evidence package from safe and verified systems to give them some language features to study. Especially like contracts or Ada’s built-in safety features.
Sure, though I’m not sure there’s a lot of those we haven’t heard of. We’re deeply familiar with safety semantics of several languages (and have created our share of them). We’re also very familiar with contracts, especially from Racket (I’m one of the co-originators).
I was talking about the Quorum people getting the evidence packet. Not yall unless you do that, too.
And welcome to Lobsters! :)
No, send it to them, that’s fine (-:. And thanks — first time on here, but I see some familiar faces…
Very closely related are the book Programming and Programming Languages and Brown’s Programming Languages course CS173 - course archives
Indeed. (-: