Class System current status

[Taral]

On 5/11/06, Stephanie Weirich <sweirich at cis.upenn.edu> wrote:
> a) standardize on MPTC and FDs using rules from CHR paper.

>   - We're already in that state. There *is* a lot of Haskell code that
> uses FDs, it's just not Haskell 98 code. Whenever ATs take over, we'll
> still have to deal with this code.

In my opinion, this one holds the greatest weight. The current mass of
*useful* and *used* code that is written with and requires FDs is
possibly the most important consideration of all.

Given that FD *syntax* is well-defined, I see no reason not to
standardize it. It remains, however, to decide on what level of
*minimum* termination support Haskell' will insist upon. The CHR paper
(with the confluence improvements by Claus) is currently the most
promising option, and has an implementation (another important
consideration) in GHC.

-- 
Taral <taralx at gmail.com>
"You can't prove anything."
    -- Gödel's Incompetence Theorem