Cover Story

Just as matter-energy equivalence and wave-particle duality at one time seemed to defy common sense, so do type and function in one programming language. Once you see the similarities--fields/locals, methods/nested functions, and input parameters in constructor/definition---you will see not only the possibility but the reality. Please meet, for the first time, type/function equivalence implemented in the QED programming language.