Type Safety and Statistical Computing


What if survey methodologies, or experimental designs, were represented in programming languages as data types, and constrained the application of subsequent logic? 

This post feels a bit ephemeral for most of its length, but makes some proposals at the end that I found deeply interesting. Is it possible that we need to encode our understanding of statistical validity more directly into our statistical programming languages?


Want to receive more content like this in your inbox?