Ixrec / rust-orphan-rules

An unofficial, experimental place for documenting and gathering feedback on the design problems around Rust's orphan rules

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Coherent explicit dictionary application for Haskell

bbarker opened this issue · comments

Possibly of interest:

https://dl.acm.org/doi/10.1145/3242744.3242752

I haven't had a chance to read the paper yet (I'm not a language designer anyway) but this sounds promising.