vascorsd, The Flix Programming Language - https://flix.dev
PSA: New Type Inference Engine
«merging in a completely new type inference engine
- Associated types and effects
- begin to use associated types and effects in the standard library
- new, simpler, and faster Boolean unification solver
- A path towards a set based Boolean unification solver
- A path towards significantly improved interoperability
»
Add comment