1 comment

[ 3.3 ms ] story [ 14.3 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.