13
Trong Haskell, bạn có thể lấy được Functor, Foldable và Traversable tự động sử dụng deriving. Tuy nhiên, không có cách nào để lấy được Applicative. Xem xét có một cách rõ ràng để xác định một cá thể Applicative (mà sẽ tính đến một ứng dụng nén), không có cách nào để kích hoạt deriving Applicative?Tại sao không có cách nào để lấy được Functors ứng dụng trong Haskell?
Ngoài ra, '[]' và 'ZipList' là cả hai, cuối cùng, hai trường hợp' Áp dụng' khác nhau hợp lệ cho loại danh sách. –
Vì vậy, có lẽ chúng ta cần một lớp học Zippable? Đó là, đối với những thứ như phát sinh 'Phụ gia' (mà, lần lượt, dường như có một định nghĩa rõ ràng) mà không cần phải khai báo [Ví dụ ứng dụng] (http://lpaste.net/131202). (Có lẽ tôi nên hỏi một câu hỏi khác?) – MaiaVictor
Tệ của tôi. [Additive] (http://hackage.haskell.org/package/linear-1.18.0.1/docs/Linear-Vector.html) là một lớp từ gói Tuyến tính thực hiện các nhóm phụ gia của không gian vectơ. Ví dụ: '[1,2,3]^+^[1,1,1] == [2,3,4]'. Nó có một cài đặt chung, nhưng nó phụ thuộc vào Ứng dụng không thể dẫn xuất, vì vậy bạn không thể lấy được 'Phụ gia' cho, ví dụ, 'dữ liệu Ba a = Ba a a a' bất kể có nguồn gốc rõ ràng. Chỉnh sửa: hm bất cứ ai hỏi những gì phụ gia bị xóa nó. Tôi không nói một mình lol. – MaiaVictor