Steve says he can’t speak for me, but in this case… he basically can. The timelines are a little different (late ’00s for me instead of late ’90s), but the tra

Steve says he can’t speak for me, but in this case… he basically can. The timelines are a little different (late ’00s for me instead of late ’90s), but the trajectory was the same, and the feature gaps he alludes to here were definitely a part of it. I recall arguing in 2012 or so that types were useless… with a colleague who had a background with OCaml. The problem was that when we said “types” I meant something completely different than he did. (Jerrad, if you happen to read this, you were right. )