Re:A look at Unison: a revolutionary programming language
by dmytrish on Wednesday January 11, 2023 @08:56AM
(#34338462)
While this is definitely true in general, Unison can unlock many context-specific guarantees even for data: the types are strict and expressive and it seems to have referential transparency.
We want to enforce that where, eg., `np.array` is used, universally it's a data structure with the same properties. It isnt particularly desirable to have many versions of it floating around.
It's not clear, atm, whether this is a real solution to the dependency problem. It seems like it solves it by making it easier to isolate areas of a codebase where dependencies are frozen. This is already an option, and people don't do it because they want actual semantic consistency.
Maybe if it were easier it would be done more often, but a priori, it's a straw man of the dependency problem.