... | ... | @@ -21,7 +21,7 @@ Here is the list of [tickets related to functional dependencies](https://gitlab. |
|
|
* [Type classes with functional dependencies](https://web.cecs.pdx.edu/~mpj/pubs/fundeps.html), Mark Jones, ESOP 2000. The original fundep paper.
|
|
|
* [Understanding functional dependencies via constraint handling rules](https://www.microsoft.com/en-us/research/publication/understanding-functional-dependencies-via-constraint-handling-rules/), Sulzmann et al, JFP 2006. This journal paper has a lot of examples and we cite it frequently below as "JFP-paper".
|
|
|
* [Language and Program Design for Functional Dependencies](https://web.cecs.pdx.edu/~mpj/pubs/fundeps-design.pdf), Jones and Diatchki, Haskell Symposium 2008.
|
|
|
* [Elaboration on functional dependencies](https://people.cs.kuleuven.be/~tom.schrijvers/portfolio/haskell2017a.html), Karachalias and Schrijvers, Haskell Symposium 2017. This paper shows how to translate functional dependencies into type families. See also [Evidenced functional dependencies](Functional-dependencies-in-GHC/Evidenced-Functional-Dependencies) a wiki page developing the Karachalias and Schrijvers paper further.
|
|
|
* [Elaboration on functional dependencies](https://people.cs.kuleuven.be/~tom.schrijvers/portfolio/haskell2017a.html), Karachalias and Schrijvers, Haskell Symposium 2017. This paper shows how to translate functional dependencies into type families. See also [Evidenced functional dependencies](Functional-dependencies-in-GHC/Evidenced-Functional-Dependencies) a wiki page developing the Karachalias and Schrijvers paper further. Crucially, K&S do not consider overlapping instances -- which gives no way forward for writing a type-level type equality test, nor a type-level `AddNat` function with three-way FunDeps.
|
|
|
|
|
|
|
|
|
## Key proposals
|
... | ... | |