Language Design
-
Software Development
D’s Forty-Year Identity Crisis
Garbage collection, manual memory management, and metaprogramming were all offered as options rather than defaults. That flexibility was the entire…
Read More » -
Core Java
Checked Exceptions: The Language Design Debate Java Never Resolved
Why Java stands almost alone among mainstream languages in forcing you to declare or catch certain exceptions, the criticism that…
Read More » -
Software Development
Swift’s Ownership And Noncopyable Types
For nearly a decade, Swift’s relationship to memory looked settled. Classes were reference-counted automatically, structs and enums were copied freely,…
Read More » -
Core Java
Haskell’s Monads Outside Academia: A Plain-Language Guide
Ask ten developers what a monad is, and you will likely get ten different answers, most of them nervous. The…
Read More » -
Software Development
Reified vs. Erased Generics: A Four-Language Comparison
Ask four different languages “what was T, once my code actually runs?” and you get four genuinely different answers. Each…
Read More » -
Core Java
Algebraic Data Types and Pattern Matching, Compared
Java, Rust, Scala, and Haskell all let you say “a Shape is exactly a Circle, a Square, or a Triangle,…
Read More » -
Core Java
Ad-Hoc Polymorphism: Interfaces vs. Traits vs. Type Classes
Three languages, three solutions to “different types, same operation” and three very different opinions about who gets to decide what…
Read More » -
Core Java
The Expression Problem: Why Java’s Sealed Interfaces Are One Answer, Not The Answer
Adding a new type is trivial in object-oriented code. Adding a new operation is trivial in functional code. Nobody has…
Read More » -
Software Development
Go 1.24’s Range-Over Functions and Generics Ergonomics: Is Go Finally Growing Up, or Compromising Its Identity?
Every new feature reopens the same debate. An honest look at what Go 1.24 actually shipped, what it means technically,…
Read More »
- 1
- 2
