If Visual Studio is your example, then you're making the same argument as the author: there's a sweet spot. From the python world, c# may look statically type

If Visual Studio is your example, then you're making the same argument as the author: there's a sweet spot. From the python world, c# may look statically typed, but from the Haskell/Idris point of view, the java/c# type systems look really sloppy and ambiguous.