13
In Haskell, è possibile derivare Functor, Foldable e Traversable automaticamente utilizzando deriving. Non c'è modo di derivare Applicative, però. Considerando che esiste un modo ovvio per definire un'istanza Applicative (che equivarrebbe a un'applicazione zippata), non esiste un modo per abilitare deriving Applicative?Perché non c'è modo di derivare i Functional Applicativi in Haskell?
Inoltre, '[]' e 'ZipList' sono entrambi, in definitiva, due diverse istanze' Applicative' uguali per il tipo di lista. –
Quindi forse abbiamo bisogno di una classe Zippable? Cioè, per cose come derivare 'Additive' (che, a sua volta, sembra avere una definizione ovvia) senza dover dichiarare un'istanza [Applicative] (http://lpaste.net/131202). (Forse dovrei fare un'altra domanda?) – MaiaVictor
Il mio male. [Additivo] (http://hackage.haskell.org/package/linear-1.18.0.1/docs/Linear-Vector.html) è una classe del pacchetto lineare che implementa gruppi additivi di spazi vettoriali. Ad esempio, '[1,2,3]^+^[1,1,1] == [2,3,4]'. Ha un'implementazione generica, ma dipende da Applicative che non è derivabile, quindi non è possibile derivare "Additivo" per, ad esempio, "data Triple a = Triple a a" a prescindere dall'avere una derivazione ovvia. Modifica: chi ha chiesto quale additivo viene eliminato. Non sto parlando da solo lol. – MaiaVictor