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.

Your browser does not support the HTML5 canvas tag.
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

Flappy bird, in QED

1 minute read

I just coded a first game in QED, a port of a javascript Flappy Bird!

A new QED language

less than 1 minute read

Finally, QED has completely changed! Not only the language but this website, which now - at last - contains a complete tutorial, loaded with runnable demos!

Another article on QED + some news

1 minute read

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...

A first contribution to QED

1 minute read

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

3 minute read

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

3 minute read

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

2 minute read

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

4 minute read

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

2 minute read

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

3 minute read

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!

less than 1 minute read

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...