A new QED language
Finally, QED has completely changed! Not only the language but this website, which now - at last - contains a complete tutorial, loaded with runnable demos!
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 developing a GUI and implementing concurrency.
The QED fan. Give it a spin!
Here is a trivial example of QED brevity and power.
Take the quick tour for an overview of how QED works! You may also take a look at the demos or, if you want a deeper understanding, the tutorial. There’s also a FAQ that will grow over time.
Academically, QED tackles the well-known GUI problem by illustrating how simple concepts such as function call and class instantiation naturally lead up to sophisticated topics such as concurrency and UI design, hence the QED name (Q.E.D. means “quod erat demonstrandum” or “that which was to be demonstrated” - not related to type theory in our context). 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).
If you have a more specific question on QED, please inquire at qedlang@gmail.com.
Recent posts
Hello again? Some news coming in
Well, it’s been some time.
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...
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...