Ví dụ nâng cấp trong Haskell

Question

Có cách nào để "nâng" một thể hiện lớp trong Haskell dễ dàng không?

Tôi đã thường xuyên cần phải tạo ra, ví dụ, trường hợp Num cho một số lớp học mà chỉ là "nâng" cơ cấu Num thông qua các loại nhà xây dựng như thế này:

data SomeType a = SomeCons a 

instance (Num a)=>Num SomeCons a where 
    (SomeCons x) + (SomeCons y) = SomeCons (x+y) 
    negate (SomeCons x) = SomeCons (negate x) 
    -- similarly for other functions. 

Có cách nào để tránh điều này boilerplate và "nâng" cấu trúc Num này tự động? Tôi thường phải làm điều này với Show và các lớp khác cũng khi tôi đã cố gắng để tìm hiểu existencials và trình biên dịch sẽ không cho phép tôi sử dụng deriving(Show).

Answer 1

Các Newtype tổng quát là những gì bạn muốn ở đây:

{-# LANGUAGE GeneralizedNewtypeDeriving #-} 

module Main where 

newtype SomeType a = SomeCons a deriving (Num, Show, Eq) 

main = do 
    let a = SomeCons 2 
     b = SomeCons 3 
    print $ a + b 

Output:

*Main> main 
SomeCons 5 

Answer 2

GHC thực hiện những gì bạn muốn: Extensions to the deriving mecanism. Những thay đổi này thường được hiển thị cho phần mở rộng ngôn ngữ tiêu chuẩn trong tương lai (Như đã thấy trên haskell' wiki)

Để Kích hoạt tính năng mở rộng này, bạn phải sử dụng pragma sau

{-# GeneralizedNewtypeDeriving #-} 

và sau đó sử dụng một bắt nguồn trên khai Newtype của bạn, như thông thường kéo dài bắt nguồn

data SomeType a = SomeCons a deriving (Num) 

Answer 3

GeneralizedNewtypeDeriving