Sự khác biệt giữa `DeriveAnyClass` và một ví dụ trống là gì?

Question

Sử dụng gói cassava, sau đây biên dịch:

{-# LANGUAGE DeriveGeneriC#-} 

import Data.Csv 
import GHC.Generics 

data Foo = Foo { foo :: Int } deriving (Generic) 
instance ToNamedRecord Foo 

Tuy nhiên, sau đây không:

{-# LANGUAGE DeriveGeneriC#-} 
{-# LANGUAGE DeriveAnyClass #-} 

import Data.Csv 
import GHC.Generics 

data Foo = Foo { foo :: Int } deriving (Generic, ToNamedRecord) 

Các báo cáo trình biên dịch:

test.hs:7:50: 
    No instance for (ToNamedRecord Int) 
     arising from the first field of ‘Foo’ (type ‘Int’) 
    Possible fix: 
     use a standalone 'deriving instance' declaration, 
     so you can specify the instance context yourself 
    When deriving the instance for (ToNamedRecord Foo) 

này khiến tôi với hai câu hỏi: Tại sao phiên bản thứ hai không giống với phiên bản đầu tiên? Và tại sao trình biên dịch lại hy vọng tìm được một thể hiện cho ToNamedRecord Int?

Answer 1

The GHC docs nói:

Bối cảnh dụ sẽ được tạo theo các quy tắc tương sử dụng khi phát sinh Eq (nếu loại loại là *), hoặc các quy tắc cho functor (nếu loại của loại là (* -> *)). Ví dụ

instance C a => C (a,b) where ... 

data T a b = MkT a (a,b) deriving(C) 

Mệnh deriving sẽ tạo

instance C a => C (T a b) where {} 

Các trở ngại C a và C (a,b) được tạo ra từ các đối số nhà xây dựng dữ liệu, nhưng đơn giản hoá sau để C a.

Vì vậy, theo Eq quy tắc, điều khoản deriving của bạn tạo ra ...

instance ToNamedRecord Int => ToNamedRecord Foo where 

... mà không phải là giống như ...

instance ToNamedRecord Foo where 

... trong đó trước đây chỉ hợp lệ nếu có một phạm vi instance ToNamedRecord Int (xuất hiện ở đó không có trong trường hợp của bạn).

Nhưng tôi thấy thông số kỹ thuật hơi mơ hồ. Ví dụ có thực sự tạo ra mã đó hay nó sẽ tạo ra instance (C a, C (a, b)) => instance C (T a b) và để người giải quyết xả ràng buộc thứ hai? Nó xuất hiện, trong ví dụ của bạn, rằng nó tạo ra các ràng buộc như vậy ngay cả đối với các trường có các kiểu hoàn toàn cụ thể.

Tôi ngần ngại gọi đây là một lỗi, bởi vì nó là cách Eq tác phẩm, nhưng cho rằng DeriveAnyClass được thiết kế để làm cho nó nhanh hơn để viết trống trường hợp nó dường như unintuitive.