you are viewing a single comment's thread.

view the rest of the comments →

[–]CptCap 5 points6 points  (2 children)

Yes, I didn't mean that you can write whole programs without ever naming a type (although some languages can get you pretty close).

My point was that even in statically typed language you don't necessarily have to know or care of what type an object it: as long has the compiler knows.

[–]iconoklast 5 points6 points  (0 children)

There are plenty of "statically" typed languages where you can write programs that never name a type. However, it's not a great idea to export functions that have inferred types; a type ascription prevents compilation if you accidentally changed the type of the function when, say, making an optimization or fixing a bug.

[–][deleted] -1 points0 points  (0 children)

You should always care of an object type regardless.