Hacker News Reader

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.

View on HN

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 ;)

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

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

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

Reply on news.ycombinator.com