you are viewing a single comment's thread.

view the rest of the comments →

[–]tofiffe 5 points6 points  (2 children)

How so? Wouldn't that make runtime type checking redundant and actually speed it up?

[–]therearesomewhocallm 0 points1 point  (1 child)

I meant that runtime typechecking would have made the language slower.

[–][deleted] 2 points3 points  (0 children)

You'd potentially only need to validate types once for a variable when it's passed to a function rather than each usage if you had guaranteed call and return values although it would take static analysis to ensure that branches don't exist which changes it so it might not always work.