1 comment

[ 0.25 ms ] story [ 34.7 ms ] thread
Just gave this a quick skim but it seems right on point, and clarifies a bunch of the fundamental issues at play when comparing type systems.