Skip to main content
xuh's user avatar
xuh's user avatar
xuh's user avatar
xuh
  • Member for 8 years, 2 months
  • Last seen more than 7 years ago
awarded
comment
What is the mathematical name for Haskell's Alternative Functor
Thanks for the clarification. I'm not a mathematician. So it is much appreciated. I have one question: shouldn't the type of $e_A$ be $1 \rightarrow F(A)$?
revised
Loading…
revised
Loading…
revised
Loading…
awarded
revised
Loading…
comment
What is the mathematical name for Haskell's Alternative Functor
@DavidRoberts Thanks for the links. I think this answer may also be helpful: stackoverflow.com/questions/35013293/….
comment
What is the mathematical name for Haskell's Alternative Functor
The concepts are described in Haskell documentation: stackoverflow.com/documentation/haskell/3800/functor, stackoverflow.com/documentation/haskell/8162/…. The lines starting with -- are comments. Other lines are code. <|> is a user-defined infix operator in Haskell.
awarded
Loading…
Loading…