Another article on QED + some news
I wrote a second article for Human Readable Magazine, this time on the processing of the ‘return’ statement in a type/function equivalence context. Understan...
Welcome to QED!
QED is a programming language for web app development. It sits on top of Javascript and provides features that simplify application development compared to using native JS. It does not replaces JS at all; it rather enhances JS programming when it comes to deveoping a GUI and implementing concurrency.
Academically, the goal of QED is to demonstrate how simple concepts such as function call and class instantiation can lead up to more sophisticated topics such as concurrency and GUI design, hence the QED (Q.E.D.) name. Practically though, the real goal is to simplify your life as a software developer by providing more power to your lines of code (or the same power for less lines of code).
You may take a look at the demos or, if you want to have a glimpse on how it works, the tutorial.
Recent posts
An article on QED’s core principle: type/function equivalence
I had the great pleasure of writing a first article on QED in a publication called Human Readable Magazine, a kind of New Yorker for coders.
A first contribution to QED
I am very happy to report that QED reached a major milestone for a nascent language: a first contribution! Mike Parr, who has a wealth of experience in vario...
QED Tooling Update
Last month I was geared to get an end-to-end working version of QED, built with Xtext. The Java code generator was working fine and I had to integrate the QE...
QED news
Patience pays off. I finally managed to build, for the business logic part, the Java code generator translating QED code. There were complex hurdles to take ...
On callback hell
I am planning to write an article in the coming months about callback hell, where I will propose a new approach which is imho much better (even than JS promi...
Precisions on QED documentation
I got today an interesting question from redditor /u/AsIAm: “Btw, is the documentation for QED up to date or the video is? I was a bit confused because they ...
Tooling QED
Now that QED can show its features in the demo page, the next step is to give QED the required tooling. Any decent language must offer nowadays debugging, sy...
My influences
It wouldn’t be fair to say QED, with its unique parallel syntax, sprung from itself, without any influence. First, this is most totally wrong and second, I r...
qed-lang.org now opened!
The QED language now has a dedicated website, qed-lang.org. You may now have a glance of what QED does best looking at its online demo page. This page will a...