haskell - ¿Cuáles son los peligros de usar FlexibleContexts y FlexibleInstances?

ghc language-extension

Question

Como estos contextos e instancias flexibles no están disponibles en el estándar Haskell, supongo que existen problemas potenciales al usarlos. ¿Qué son? ¿Pueden conducir a cierta ambigüedad, indecidibilidad, instancias superpuestas, etc.?

Hay una pregunta similar que solo pregunta sobre FlexibleInstances , no FlexibleContexts , pero la respuesta solo dice "que es seguro usarlos".

Answer 1

Una vez tropecé con lo siguiente. Respondiendo a esta pregunta , primero probé este código:

{-# 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

Y obtuve un error de compilación y una sugerencia de GHCi para agregar la opción FlexibleContexts . Cuando lo hice, compiló bien. Pero esto en realidad no era lo correcto, ya que la declaración de restricción introdujo un nuevo alcance para las variables de tipo, b en la firma de tipo del genome no se relacionó por completo con la de la clase de tipo; con todo FlexibleContexts proporcionó una cubierta para esto.

Con la restricción especificada correctamente en el nivel de clase de 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

pasó la compilación sin requerir la opción FlexibleContexts .