ezyang’s blog

the arc of software bends towards understanding

The Gateway Drug to Type Programming

David Powell asks, There seems to be decent detailed information about each of these [type extensions], which can be overwhelming when you’re not sure where to start. I’d like to know how these extensions relate to each other; do they solve the same problems, or are they mutually exclusive? Having only used a subset of […]

  • August 6, 2010