undefined | Better HN

0 pointseffn15y ago0 comments

Overloading on return type is fundamentally impossible in dynamic languages, since they dispatch on values, and the return value can not be known before the function is called.

0 comments

bad_user15y ago

Oh come on, all you need to do is to (OPTIONALLY) tag the function with the return type.

And it's still a dynamic type system ;)

shasta15y ago

Well it's not impossible. You could run them all and then decide which result to use. :)

effnOP15y ago

That doesn't work either, since then you will have more than one result. Which one will you dispatch on?

shasta15y ago

Presumably, you'll have some rules that determine which is the best match and then error if it's ambiguous - just like the static case

j / k navigate · click thread line to collapse

0 pointseffn15y ago0 comments

Overloading on return type is fundamentally impossible in dynamic languages, since they dispatch on values, and the return value can not be known before the function is called.

0 comments

bad_user15y ago

Oh come on, all you need to do is to (OPTIONALLY) tag the function with the return type.

And it's still a dynamic type system ;)

shasta15y ago

Well it's not impossible. You could run them all and then decide which result to use. :)

effnOP15y ago

That doesn't work either, since then you will have more than one result. Which one will you dispatch on?

shasta15y ago

Presumably, you'll have some rules that determine which is the best match and then error if it's ambiguous - just like the static case

j / k navigate · click thread line to collapse