Tedinski

Performance concerns can motivate different choices for data representation, but changing representations can be extremely invasive, and OO is often of littl...

A hypothetical design experiment, and a look at open recursion.

Static or dynamic, a program's design is written in its types.

A standard algorithm for programming and improving the design of our software.

The difference, and what is means to design for each.

Or: Don't accidentally implement a database.

Adding precision, explaining some of my choices, answering 'what about...?', and more.

A kernel of a good design principle, but the law leads to poor outcomes.

How much of a problem is it to sharply distinguish between different kinds of functions?

Our programming languages don't really support us in making good design decisions. They fall short of allowing us to choose appropriate representations.