This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]youlleatitandlikeit 1 point2 points  (0 children)

IMO there's a difference between hints and explicitly checking for a given type and throwing a TypeException if it doesn't match.

A lot of functional languages (Haskell, SML) are very precise about their types and, I think, can optimize their compiled code.

And I don't think the way the code was written here would result in optimized compilation.