search

purescript / documentation

Documentation for the PureScript language, compiler, and tools.
Other
1.02k stars 301 forks source link

Document functional dependencies #148

Open chexxor opened 6 years ago

chexxor commented 6 years ago

The "Functional Dependencies" section in Type Classes doesn't have any content, so we need an issue to improve visibility of this missing content.

chexxor commented 6 years ago

I wonder if it's ok to use the example used in @paf31's book and rephrase his explanation to better match style expected by this doc book. I don't have knowledge enough to confidently explain it, otherwise.

Wouldn't be too much harder to find someone who does have appropriate knowledge and can draft a copy for us to use here, of course.

JordanMartinez commented 5 years ago

I explained FDs in my learning repo here: https://github.com/JordanMartinez/purescript-jordans-reference/blob/latestRelease/11-Syntax/01-Basic-Syntax/src/03-TypeClasses-and-Newtypes/06-Functional-Dependencies.purs

milesfrain commented 3 years ago

Complimentary issue in the book: https://github.com/purescript-contrib/purescript-book/issues/238