Loại chữ ký cần có một kiểu đó không được xuất khẩu bởi các thư viện

Question

Vì vậy, tôi đã sử dụng thư viện aeson, và nghĩ rằng nó sẽ rất hữu ích để có các chức năng sau:

v .:! f = liftM (fromMaybe mempty) (v .:? f) 

Khi tôi hỏi GHCi cho loại, tôi nhận được:

(.:!) 
    :: (Monoid r, FromJSON r) => 
    Object 
    -> T.Text -> aeson-0.7.0.6:Data.Aeson.Types.Internal.Parser r 

Tuy nhiên, chính Parser không thực sự được xuất bởi Data.Aeson hoặc Data.Aeson.Types. Tôi buộc phải không có chữ ký kiểu cho hàm tôi đã xác định?

Ngoài ra, nếu có ai biết cách tốt hơn để hoàn thành những gì tôi đang cố gắng làm, tôi sẽ quan tâm đến đề xuất của bạn.

Answer 1

Hiện tại, hoàn toàn có thể trong Haskell để viết mã có loại suy đoán mà bạn không thể tự viết vì biểu tượng chưa được xuất bản. Đã có discussion about this trên danh sách gửi thư của thư viện Haskell vào tháng 4 năm 2014 mà không có kết luận chắc chắn nào nhưng ý thức chung là giữ cho hành vi hiện tại.

Tuy nhiên, quy tắc chung là nếu cần mở rộng ngôn ngữ để viết chữ ký loại sẽ được suy ra, thì bạn cần bật tiện ích đó ngay cả khi bạn không bao gồm chữ ký một cách rõ ràng.