On "subsetting"
A quote, with some good insights about the evolution of (programming) languages If we were to follow Rich Hickey's advice, we'd only ever accrete our APIs, never removing old functions, never…
languages
8 posts
Making languages
An excellent look behind the scenes, of fictional languages in popular works today. I've been curious about whether or not the new Dune movie would feature "the J-word", and looks like…
Ancient languages
Something that everyone with a bit of a linguist within them, or with an interest in etymology, will love:…
C++: "the good parts"
Herb Sutter has an interesting proposal The new “basic Hello-World with a single method call” would look something like: ``` main: () -> int = { hello("World\n"); } hello: (msg: _) =…
The "trinity of computation"
The “trinity of computation” I never thought of it this way Logic tells us what propositions exist (what sorts of thoughts we wish to express) and what constitutes a proof (how we can communicate o…
The "trinity of computation"
I never thought of it this way LogicLanguagesCategoriesall three have ontological force; they codify what is, not how to describe what is already given to us. In this sense they are foundational; if…
Steve Yegge is always awesome.
I recently came across this excerpt: I demand excellence from my co-workersif there's some valid program out there that you couldn't ever write, then you're not justified in calling yours…
(Untitled)
Every language has a type system; a particular way of organizing nouns into types, figuring out which verbs make sense on which types, and relating types to one another. Some languages are strict, and…