read


read
or learn more

A city is not a tree

Feb 22, 2019

While reading Christopher Alexander’s amazing essay “A City is Not a Tree” I was reminded of a page in one of my old notebooks. On that page I had taken some notes on some amazing computer science (and related) dissertations that might form the basis for a personal program design gestalt.1 In this post I’ll […]

Trammel version 0.7.0 (reference invariants++)

Apr 6, 2012 some comments

Trammel is a Clojure providing contracts programming (sometimes called “Design by Contract” or DbC) capabilities. Features of Trammel currently include: Contracts on functions Composable contracts Post-definition function contract application defrecord and deftype invariants Reference type invariants (i.e. Agents, Atoms, Refs, and Vars) Ability to turn-off checks in a production setting Support for Clojure versions 1.3 […]

Trammel – Contracts Programming for Clojure

May 25, 2010 some comments

Trammel I was planning on making a grand announcement about the launch of my Clojure contracts programming library Trammel, but got totally upstaged by something called Clojure/core. ^_^ While researching for The Joy of Clojure I eventually came by a few books about the Eiffel Programming Language and was blown away by its notion of […]

Continue