|Jul 17, 2018||📖||
How to avoid being led astray when designing for security
It's easy to focus on the wrong things.
|Jul 3, 2018||📖||
How we go about creating abstractions
Types, abstractions, names, and meaning. A look at interfaces, type classes, structural interfaces, and duck typing.
|Jun 26, 2018||📖||
Why variance matters
Accidental and intentional complexity, and how we reason about it.
|Jun 19, 2018||📖||
All advice comes from a context
Sometimes we're so immersed in context, we don't see it, and good ideas at the time can be mistaken for universal rules.
|Jun 12, 2018||📖||
Whereas types can be pervasive
Testing on system boundaries can aid us in making changes. Testing elsewhere can sometimes impede us. But types can go anywhere.
|Jun 5, 2018||📖||
Small is not the same as simple
Complexity is sometimes the enemy, but smaller is not necessarily better.
|May 22, 2018||📖||
Classifying programming paradigms by their composition operators
A different perspective than I'm used to. Different paradigms offer different pieces and different ways those pieces can be put together.
|May 15, 2018||📖||
Familiar forms of composition
Every form of useful code re-use involves some form of composition operator. We build the whole out of parts, and the seams have properties.
|May 8, 2018||📖||
Deconstructing the "Unix philosophy"
Composing smaller pieces into a great whole is a powerful design technique.
|May 1, 2018||📖||
Designing imperative code with properties in mind
Property testing still applies well to imperative code. While it's usually harder to test the complete interface, this is mitigated somewhat by invariant checking (asserts).
|Apr 24, 2018||📖||
Designing abstractions with properties in mind
Property tests are not just more powerful, more general unit tests. They're a different way of thinking, with a different impact on design.
|Apr 17, 2018||📖||
Using documentation to improve the design of software
We confront our design in several ways when documenting it. We have to explain our decisions, we have to understand our users, and we have to know what the system boundaries are.
|Apr 10, 2018||📖||
The influence of testing on design
Testing can affect our software design, both for better and also worse. How can we be sure it will have a positive effect?
|Apr 3, 2018||📖||
How did we end up with containers?
A short case study breaking down the interesting design aspects of containers.
|Mar 27, 2018||📖||
The design of build tools and dependency management
What can we learn from the design of build tools like Maven? A case study on what works and what doesn't.
|Mar 20, 2018||📖||
Programmer as wizard, programmer as engineer
Context matters. Sometimes we need to get things done, sometimes we need to build things to last.
|Mar 13, 2018||📖||
What can we learn from how compilers are designed?
A case study on how compilers decouple components from each other using data.
|Mar 6, 2018||📖||
Notes on the expression problem and type design
Adding precision, explaining some of my choices, answering 'what about...?', and more.
|Feb 27, 2018||📖||
Design duality and the expression problem
A fundamental question in program design: how is this type open?
|Feb 20, 2018||📖||
What would OOP without inheritance look like?
A hypothetical design experiment, and a look at open recursion.
|Feb 13, 2018||📖||
What's wrong with inheritance?
The over-hyped language feature, and how we should cope with it today.
|Feb 6, 2018||📖||
System boundaries: the focus of design
Efforts must be focused on where the system cannot evolve gracefully.
|Jan 30, 2018||📖||
The one ring problem: abstraction and our quest for power
We often mispercieve something that cannot be done as a problem. But often enough, that's a feature.
|Jan 23, 2018||📖||
Data, objects, and how we're railroaded into poor design
Our programming languages don't really support us in making good design decisions. They fall short of allowing us to choose appropriate representations.
|Jan 16, 2018||📖||
How humans write programs
A standard algorithm for programming and improving the design of our software.