News for hackers. Stuff that matters.
Re:Programming in Unison by carapace on Friday July 05, 2024 @12:39PM (#40884161)
> two different functions ... have the same implementation

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.

There are no comments on this comment yet.