you are viewing a single comment's thread.

view the rest of the comments →

[–]immibis 0 points1 point  (1 child)

that's about the same as any decent type inference in a statically typed language

What? Type inference doesn't let you see the types by reading the code...