Here comes the summer. I’ve scribbled a thing or two lately. There’s Let’s see how things unfold, a piece about coinduction. A subsequent Friday afternoon spent in cafés with Nicolas resulted in the beginnings of Grins from my Ripley Cupboard, whose purpose is to document failed design choices, reminding me what was the trouble. There’s plenty more where they came from, and I’m sure this summer will see more.
“Coinductive types model infinite structures unfolded on demand, like politicians’ excuses: for each attack, there is a defence but no likelihood of resolution.”
That’s a great quote!!!