Visions of generics and templates: How parametrics are compiled
In the world of parametric programming our languages often seem quite varied and unique. At the core however are two primary approaches, let’s call them
In the world of parametric programming our languages often seem quite varied and unique. At the core however are two primary approaches, let’s call them
C# prefers composition to inheritance yet lacks any concise composition syntax. This is unfortunate. While I have nothing against composition, I really don’t like the
A new technology I’m trying has a curious domain-specific extension for OpenGL graphics. It introduces a block concept allowing for modular shader code. From a
A variable with an undefined value is a terrible language failure. Especially when programs tend to work anyway. It’s a significant fault of C++ to
Thinking of text and strings as the same type is wrong. It leads to all kinds of errors and results in confusing or incomplete APIs.
It is important to write exception-safe code. A truly exception-safe function produces no side-effects when an error occurs. It returns to the caller with the
Should string be a distinct type or merely an alias for an array of characters? I’m considering the options for Leaf and can’t convince myself
How is an overloaded function compiled? It’s not something I truly considered prior to writing Leaf. My first implementation mimicked C++, at least how they
I previously contemplated elimination of the ternary conditional operator, but now I have a solution that retains and improves it. My biggest concern here is
I’m reconsidering the necessity of the conditional ternary operator in Leaf. I’m having troubles coming up with a comfortable, flexible, and unambiguous syntax. The traditional