Then they are not different functions.
> It would seem like there is no way to disambiguate a function apart from its current implementation.
Right, that's the whole point.
In Unison the name of a function is a hash of its implementation. Change the implementation and you change the identity.
> how do you reliably separate the two in this model?
There is no way to confuse the two in this model.
Then they are not different functions.
> It would seem like there is no way to disambiguate a function apart from its current implementation.
Right, that's the whole point.
In Unison the name of a function is a hash of its implementation. Change the implementation and you change the identity.
> how do you reliably separate the two in this model?
There is no way to confuse the two in this model.