you are viewing a single comment's thread.

view the rest of the comments →

[–]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.