This is an amazing article. It is the best advert for Idris and Zig, and it is very convincing. The gist, for those who lack the patience, is that a programmi

This is an amazing article. It is the best advert for Idris and Zig, and it is very convincing. The gist, for those who lack the patience, is that a programming language should not have separate languages for defining code to run at compile-time, i.e. types (which can be code, because the type system could be [should be!] Turing complete), and code to run at run-time. That having the same language for both is not just very powerful, but that it leads to less repetition and less frustration and -most importantly- lower cognitive load. TFA is a masterpiece.