|Version 4 (modified by 11 years ago) (diff),|
Committee State of Mind for the MultiParamTypeClassesDilemma
We've had a lot of discussion, and I would like to get a snapshot of the committee's current state of mind with regard to Functional Dependencies. This is not a vote for final adoption, but if there is strong agreement for a particular option, we may tentatively accept that. For further context, please see MultiParamTypeClassesDilemma.
Poll(Should Functional Dependencies and Multi-Parameter Type Classes go into the Haskell' Standard?; MPTC=In, FDs=Out; MPTC=In, FDs=In;MPTC=Out, FDs=Out;Delay standard until there is a clear winner between FD and AT; Let's Decide in person at ICFP;Abstain;Delay MPTC until ATs have been tested in practice;Other (Please edit page and add explanation below))?