On: Python's Type Checking Renaissance

[smlckz]

There is Hindley-Milner type inference. Don't need to type types in most cases. See, for example, OCaml.

[rscho → smlckz]

Type inference does not mean untyped. Arguably, getting a type error when you didn't write a single type hint makes things even more confusing if you are not an experienced programmer.

[wool_gather → smlckz]

That comes with its own tradeoffs: increased compile time and more effort needed to create error messages that are helpful to the user.

[GeorgeWBasic → wool_gather]

Ocaml is probably the fastest compiling language I've ever used.

[jgwil2 → wool_gather]

> more effort needed to create error messages that are helpful to the user.

Well, sure, but that's a tradeoff for the developers of the language to consider. As a user, there are already plenty of statically typed languages to choose from with many person-hours put into just that.

[erik_seaberg → wool_gather]

I want to offload as much work as we possibly can to the compiler. My brain will always be millions of times slower.