Difference between revisions of "Talk:Typeclassopedia"
(→Adding Exercises: rp) |
(→§6.4 Other monoidal classes: new section) |
||
| Line 7: | Line 7: | ||
https://en.wikibooks.org/wiki/Template:Exercises If you look at the source, it doesn't seem too complicated to copy over - only calls 1 or 2 other templates an those may not be important. --[[User:Gwern|Gwern]] 16:20, 26 November 2011 (UTC) |
https://en.wikibooks.org/wiki/Template:Exercises If you look at the source, it doesn't seem too complicated to copy over - only calls 1 or 2 other templates an those may not be important. --[[User:Gwern|Gwern]] 16:20, 26 November 2011 (UTC) |
||
| + | |||
| + | == §6.4 Other monoidal classes == |
||
| + | |||
| + | This section states that instances of Alternative/MonadPlus/ArrowPlus are sometimes the same as the Monoid instance, and sometimes different. It would be helpful (imo) if it was explained why this is: whether it would be better if instances of Alternative/MonadPlus/ArrowPlus were the same as the Monoid instance, and that sometimes they are not due to accidents of history; or whether sometimes these instances should be different, and giving guidance as to when those times are. |
||
| + | |||
| + | --[[User:Dave4420|Dave4420]] 17:16, 26 November 2011 (UTC) |
||
Revision as of 17:16, 26 November 2011
Adding Exercises
I'd like to add a bunch of explicit, typographically distinguished exercises to the text. For example, the Haskell wikibook typesets exercises in a centered box. I don't know a lot about wiki markup -- does anyone have ideas on a good way to do this?
Byorgey 16:09, 26 November 2011 (UTC)
https://en.wikibooks.org/wiki/Template:Exercises If you look at the source, it doesn't seem too complicated to copy over - only calls 1 or 2 other templates an those may not be important. --Gwern 16:20, 26 November 2011 (UTC)
§6.4 Other monoidal classes
This section states that instances of Alternative/MonadPlus/ArrowPlus are sometimes the same as the Monoid instance, and sometimes different. It would be helpful (imo) if it was explained why this is: whether it would be better if instances of Alternative/MonadPlus/ArrowPlus were the same as the Monoid instance, and that sometimes they are not due to accidents of history; or whether sometimes these instances should be different, and giving guidance as to when those times are.
--Dave4420 17:16, 26 November 2011 (UTC)