Inspiration from QED

[dumblob]

In case you didn't see it yet, head over to the QED programming language to see how it solves the "async" problematic in a tamed way so that async code can be used anywhere as sync code as it doesn't taint the surrounding at all. Head over to https://qed-lang.org/article/2019/06/27/coroutines.html to read about it.

Second thing QED has is quite unique UI construction (see TodoMVC - do not read any other demos like the animated bigger app Boat Rental or Bouncing Balls as they're using old quite bad syntax) approach which might resemble some things from Aguila but not all. Worth taking a look at! Note the todomvc demo does not use any HTML nor CSS nor JS.

Unfortunately the source of QED wasn't published yet (even though it's planned as open source). The author seems very approachable though and encourages everybody to contact him over email 😉.

The most recent news I found are on https://www.reddit.com/r/qedlang/ .

[drkameleon]

QED programming language

I admit I have studied a bit at some point but then forgot about it.

Given that Aguila is the next thing in line to work on, I'll definitely have another look into what you suggest - any inspiration or idea is more than welcome! 😄

Thanks!