Quali sono le insidie ​​nell'utilizzo di FlexibleContexts e FlexibleInstances?

Question

Poiché questi contesti e istanze flessibili non sono disponibili nello standard Haskell, presumo che ci siano potenziali problemi durante l'utilizzo. Quali sono? Possono portare ad alcune ambiguità, indecidibilità, istanze sovrapposte, ecc.?

C'è un similar question che richiede solo circa FlexibleInstances, non FlexibleContexts, ma la risposta dice solo "che è sicuro usarli".

Answer 1

Una volta mi sono imbattuto in quanto segue. Answering this question, ho provato questo codice:

{-# LANGUAGE MultiParamTypeClasses #-} 
{-# LANGUAGE FunctionalDependencies #-} 

class (Eq a, Show a) => Genome a where 
    crossover  :: (Fractional b) => b -> a -> a -> IO (a, a) 
    mutate   :: (Fractional b) => b -> a -> IO a 
    develop   :: (Phenotype b a) => a -> b 

class (Eq a, Show a) => Phenotype a b | a -> b where 
    -- In case of Coevolution where each phenotype needs to be compared to 
    -- every other in the population 
    fitness   :: [a] -> a -> Int 
    genome   :: (Genome b) => a -> b -- here, the problem 

breed parents cross mute = do 
    children <- mapM (\ (dad, mom) -> crossover cross (genome dad) (genome mom)) 
        parents 
    let ch1 = map fst children ++ map snd children 
    mutated <- mapM (mutate mute) ch1 
    return $ map develop mutated 

e ottenuto un errore di compilazione e un suggerimento di GHCi per aggiungere l'opzione FlexibleContexts. Quando l'ho fatto, ha compilato OK. Ma in realtà non era una cosa giusta da fare, poiché la dichiarazione di vincoli ha introdotto un nuovo ambito per le variabili di tipo e b nella firma del tipo genome è diventato completamente non correlato a quello della classe del tipo; ancora FlexibleContexts fornito una copertura per questo.

Con il vincolo specificato correttamente a livello di classe tipo,

class (Eq a, Show a, Genome b) => Phenotype a b | a -> b where 
    -- In case of Coevolution where each phenotype needs to be compared to 
    -- every other in the population 
    fitness   :: [a] -> a -> Int 
    genome   :: a -> b 

passò la compilazione senza richiedere l'opzione FlexibleContexts.