what does the A stand for in sequenceA?
问题 What does sequenceA from Traversable stand for? Why is there capital A at the end? I've been learning Haskell for a few months now and this is one of those things that's been bugging me for a while. 回答1: The "A" stands for Applicative , as in the constraint in sequenceA 's type: sequenceA :: (Traversable t, Applicative f) => t (f a) -> f (t a) That the "A" is there is fruit of a historical accident. Once upon a time, neither Applicative nor Traversable existed in Haskell. Nonetheless, a