cndkxjsnf

Any law that's not based on a stochastic process, since stochastic processes can be gamed with a little bit of cleverness. If you don't believe me, just look at HFT.

>Another order reversal: type systems allow you to focus on programming, instead of hunting around for bugs

Except that is false. Bug prevalence is empirically orthogonal to type system.

See Xmonad

Do you want to invest your time worrying about types or actually programming? My issue with building these type-theoretic monstrosities is that now you suddenly have to tackle two problems instead of just one.

Just like the underlying machine code is hidden in modern languages, types should be totally abstracted away when programming in a high level language.

So I see you're a big fan of Richard Nixon.