Inside 214-1E

Existential Pontification and Generalized Abstract Digressions

September, 2016

Seize the Means of Production (of APIs)

There's a shitty API and it's ruining your day. What do you do? Maybe you're Dropbox: Apple's privileges API isn't giving you the knobs you need, so you're like, "Fuck this, we're going to edit the privileges SQL database directly." Maybe you're Adam Belay: POSIX isn't letting you write high performance networking code, so you're […]

  • September 13, 2016

The Base of a String Theory for Haskell

One of the early posts from this blog, from 2010, was on the subject of how to pick your string library in Haskell. Half a decade later, the Haskell ecosystem is still largely in the same situation as it was half a decade ago, where most of the boot libraries shipped with GHC (e.g., base) […]

  • September 7, 2016

The Edit-Recompile Manager

A common claim I keep seeing repeated is that there are too many language-specific package managers, and that we should use a distribution's package manager instead. As an example, I opened the most recent HN discussion related to package managers, and sure enough the third comment was on this (very) dead horse. (But wait! There's […]

  • September 2, 2016

Backpack and separate compilation

When building a module system which supports parametrizing code over multiple implementations (i.e., functors), you run into an important implementation question: how do you compile said parametric code? In existing language implementations are three major schools of thought: The separate compilation school says that you should compile your functors independently of their implementations. This school […]

  • September 1, 2016