issues
search
broom-lang
/
broom
A programming language with first-class modules and algebraic effects.
https://broom.readthedocs.io
BSD 3-Clause "New" or "Revised" License
10
stars
1
forks
source link
Solve diamond problem of implicit resolution
#79
Open
nilern
opened
3 years ago
nilern
commented
3 years ago
Type classes use coherence for this.
Modular implicits use module aliases (~ singleton types). This would require tracking module identity, perhaps like the F-ing modules applicative functors abstraction safety solution.