Please check this for an exclusive preview: reddit.com/r/qedlang/comment…
Update, after a 4-month hiatus! qed-lang.org/qed/update/upco…
While optimizing the QED compiler JS output, here is another demo (and happy new year too!): qed-lang.org/qed/update/curv…
The QED roadmap for 2025: qed-lang.org/qed/update/2025…
I've improved the Flappy bird QED code quite a bit! It has now less than 200 significant lines of code and looks even clearer than before. It shall be updated soon in the website.
I just coded a first game in QED, a port of a javascript Flappy Bird! Source: github.com/hocuscodus/qed-la… To play online: qed-lang.org/demos (the last demo, press Run). The peculiarity of this implementation is that there is no state (getReady-play-gameOver) nor state (1/4)
their own environment. For instance, the bird has three while loops: waiting to play, play, and falling (then its fields are set for death). All objects are cleanly encapsulated. (3/4)
It's been some time since I've written here!
I just wanted to wait until something significant happens.
With a redesigned QED language and a revamped website now including a complete tutorial, I feel this is the right moment! qed-lang.org
Here is a sneak peek of a new demo made using the *revised* QED language: the Todo list benchmark! (Still under debugging though). Completely standalone. ~160 LOCs. No import/HTML/CSS/JS: qed-lang.org/demos2/?categor…)
My article “A return() For All Seasons” was just published in the latest issue of Human Readable Magazine! Check it out here: humanreadablemag.com/issues/… #hrm #programming #magazine
QED Programming Language retweeted
Human Readable Magazine Issue #2 is out! We are offering all of our issues for #free ! #stayhome #staysafe #covid19 #coronavirus humanreadablemag.com/issues/…
My article for Human Readable Magazine Issue #2 was just released! Check it out here: humanreadablemag.com/issues/…. Big shout-out to pek and his team for such a nice editing job! All issues are now #free ! #stayhome #staysafe #hrm
The boat rental demo is back!
qed-lang.org/demos/?category…
Concurrent programming without keywords: only a dream? link.medium.com/dv3xzPEq6X
Paying homage to the languages that influenced QED development: qed-lang.org/qed/2018/09/07/…