Julien M. · @julm
485 followers · 4935 posts · Server framapiaf.org#ThomasWinant #DominiqueDevriese : « #Coherent Explicit #DictionaryApplication for #Haskell »
« We safely overcome the "only one type class instance per type" restriction:
- Expose dictionary records + explicit dictionary application
- Dictionary instances generalise #DerivingVia + #DefaultSignatures
- The #role criterion prevents breaking code relying on global uniqueness of instances
- Coherence check prevents incoherence
- Working #prototype »
https://www.youtube.com/watch?v=vSza6iKmbpc
#thomaswinant #dominiquedevriese #coherent #dictionaryapplication #haskell #derivingvia #defaultsignatures #role #prototype