Types, classes of Mathematical abstractions?

Back from types and classes to the more abstract mathematical entitie:Where do types come from?

Answers in  Translating math into code: Examples in Java, Python, Haskell and Racket.

For more details look at Chris Okasaki's Purely Functional Data Structures book.

The futility of developer productivity metrics

..."A highly effective, productive developer workforce is often the result of high-quality, effective management. Unfortunately, nobody has developed a metric for that yet. Coincidence?"

Lasagna code

Good Lispian rant at the complexities of object oriented and other languages as compared to Lisp, Scheme or Algol.

Babbage and Ada

Trying to build the Analytical Engine. But the most important idea is that Ada was the first to understand the universality of computers. And their limits.