Type-level programming is still programming

mchav.github.io

Type-level programming is still programming

I was showing a friend my typed dataframe API. The whole pitch was: look, you derive a schema from your data, and then the compiler catches column name typos, type mismatches, all the stuff that would otherwise blow up at runtime. I had a nice demo...