Thay thế cho không được chấp nhận -XDatatypeContext?

Question

Hãy nói rằng tôi muốn xác định một cây như thế này:

{-# LANGUAGE DatatypeContexts #-} 
class Node a where 
    getContent :: (Num a) => a 

data (Node a) => Tree a = Leaf a 
         | Branch a (Tree a) (Tree a) 

-XDatatypeContexts bị phản đối ngay bây giờ. Có thể làm một cái gì đó tương tự mà không có nó?

Answer 1

Bạn có chắc chắn chắc chắn ngữ cảnh kiểu dữ liệu thực sự đã làm những gì bạn nghĩ? Đó là deprecated because it was basically useless và được coi là một sự không hài lòng, vì tất cả điều đó đã buộc bạn phải thêm các ràng buộc thêm mà không cung cấp bất kỳ sự bảo đảm nào về các loại ngoài những gì bạn đã có mà không có nó.

Việc thay thế, chẳng hạn như, thực tế là không điều gì đó hữu ích, là GADT syntax. Tương đương với loại của bạn sẽ trông như thế này:

data Tree a where 
    Leaf :: (Node a) => a -> Tree a 
    Branch :: (Node a) => a -> Tree a -> Tree a -> Tree a 

Trong trường hợp này, bạn cần Node khăn khi tạo ra một giá trị Tree, nhưng khi mô hình kết hợp trên một giá trị Tree bạn cũng nhận được một bảo đảm tự rằng một trường hợp Node tồn tại, làm cho cá thể có sẵn mà thậm chí không cần nó trong loại hàm nhận Tree a làm đối số.