1 comment

[ 3.4 ms ] story [ 14.4 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.