(Untitled)

So the tension around types comes from the fact that if you want to program in a style that turns effects into explicit things that get passed around, sophisticated higher-order functions are necessar…

(Untitled)

If I sound elitist, it’s only because the time and difficulty required for wrapping a complex topic into a coherent narrative is often underestimated by those who have never done it. A book is not 150…

(Untitled)

When I worked with companies that have a holy mess of code, I felt like there wasn’t enough time in the day to refactor everything. When things broke when I refactored them I got yelled at. It felt li…

(Untitled)

I think one of the main consequences of the inventions of personal computing and the world wide Internet is that everyone gets to be a potential participant, and this means that we now have the entire…

(Untitled)

Lisp is like a religion. It was created by superstitious primitives long before I was born, asks people to have faith that all will be revealed in time, and is still waiting for the prophet that will…

(Untitled)

… the curse of macros: You cannot in general expect to understand fully what some code would compile to without being the compiler.  In inferior languages, the code you write is probably the code the…

(Untitled)

I think anthropomorphism is worst of all. I have now seen programs “trying to do things”, “wanting to do things”, “believing things to be true”, “knowing things” etcDon’t be so naive as to believe tha…