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. Understanding the logic behind ‘return’ is also mandatory to understand the graphics stuff driving QED.

As of today, I am still working on the next release of QED, which shall hopefully be available within two months. The toughest challenges are now behind me I think. It further simplifies the proof of concept announced here. There are some minimal syntactic changes, which are for the better but there is a great cleanup on the internal GUI algorithms and semantics. I shall then open source the entire code and provide much more in-depth documentation for developers to fully understand its usage. Also, more demos (such as TodoMVC in QED) will be available.

There will be some surprises as well :-).

Categories: ,

Updated:

You may also enjoy

The QED roadmap for 2025

3 minute read

QED as of now is a proof of concept. The core principles are solid and the current implementation works although it is not robust yet. I see many things to f...

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!