Những cạm bẫy khi sử dụng FlexibleContexts và FlexibleInstances là gì?

Question

Vì các ngữ cảnh và trường hợp linh hoạt này không có sẵn trong tiêu chuẩn Haskell, tôi cho rằng có những vấn đề tiềm năng khi sử dụng chúng. Họ là ai? Họ có thể dẫn đến một số sự mơ hồ, không thể xác định, các trường hợp chồng chéo, v.v. không?

Có một số similar question chỉ hỏi về FlexibleInstances, chứ không phải FlexibleContexts, nhưng câu trả lời chỉ cho biết "an toàn để sử dụng chúng".

Answer 1

Tôi từng gặp phải những điều sau đây. Answering this question, đầu tiên tôi thử mã này:

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

Và có một lỗi biên dịch và một gợi ý bởi GHCi để thêm tùy chọn FlexibleContexts. Khi tôi đã làm, nó biên dịch OK. Nhưng điều này thực sự không phải là điều đúng đắn, vì tuyên bố ràng buộc đã giới thiệu phạm vi mới cho các biến kiểu, và b trong chữ ký kiểu genome trở nên hoàn toàn không liên quan đến chữ ký trong lớp loại; chưa FlexibleContexts đã cung cấp trang bìa cho việc này.

Với các hạn chế định đúng ở cấp lớp loại,

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 

nó thông qua biên soạn mà không đòi hỏi tùy chọn FlexibleContexts.