Timeline for What is the mathematical name for Haskell's Alternative Functor
Current License: CC BY-SA 3.0
17 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 23, 2020 at 23:39 | answer | added | LorenzoPerticone | timeline score: 0 | |
| Oct 17, 2019 at 1:51 | answer | added | Asad Saeeduddin | timeline score: 1 | |
| Jan 9, 2017 at 13:36 | comment | added | Andrej Bauer | This might better belong on math.stackexchange.com, although I am not sure many category-theorists lurk there. | |
| Jan 9, 2017 at 13:35 | answer | added | Andrej Bauer | timeline score: 9 | |
| Jan 9, 2017 at 13:28 | review | Close votes | |||
| Jan 9, 2017 at 14:38 | |||||
| Jan 9, 2017 at 13:17 | history | edited | xuh | CC BY-SA 3.0 |
added 18 characters in body
|
| Jan 9, 2017 at 13:11 | history | edited | xuh | CC BY-SA 3.0 |
added 192 characters in body
|
| Jan 9, 2017 at 13:01 | history | edited | xuh | CC BY-SA 3.0 |
added 192 characters in body
|
| Jan 9, 2017 at 12:56 | history | edited | xuh | CC BY-SA 3.0 |
added 192 characters in body
|
| Jan 9, 2017 at 12:35 | comment | added | xuh | @DavidRoberts Thanks for the links. I think this answer may also be helpful: stackoverflow.com/questions/35013293/…. | |
| Jan 9, 2017 at 12:19 | comment | added | David Roberts♦ | See also this answer for explanation of 'Applicative' in more mathematical terms: cstheory.stackexchange.com/q/12412/3431 To summarise: an applicative functor is in more usual terminology a lax monoidal endofunctor equipped with a strength (for the latter, see ncatlab.org/nlab/show/tensorial+strength). The monoidal product is taken to be cartesian. See also: semantic-domain.blogspot.com.au/2012/08/… | |
| Jan 9, 2017 at 9:44 | comment | added | Michael Greinecker | There might be users who know the name you are looking for but are not familiar with Haskell. The way you phrase the question might be suboptimal for getting an answer. | |
| Jan 9, 2017 at 7:54 | comment | added | xuh |
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.
|
|
| Jan 9, 2017 at 6:00 | comment | added | მამუკა ჯიბლაძე |
I guess for an average user here, to understand your question is much more difficult than to give an answer. Could you please provide some explanations for those who are not familiar with the background? What is meant by functor in Haskell? What is the Applicative Functor? What is standard notation? Which part is code and which part is comment? What does <|> mean?
|
|
| Jan 8, 2017 at 23:06 | history | edited | xuh |
add tag
|
|
| Jan 8, 2017 at 22:34 | review | First posts | |||
| Jan 8, 2017 at 23:04 | |||||
| Jan 8, 2017 at 22:33 | history | asked | xuh | CC BY-SA 3.0 |