Difference between revisions of "Talk:The Other Prelude"
Jump to navigation
Jump to search
m (monad implies functor?) |
BrettGiles (talk | contribs) (Naming comment, Monad => Functor) |
||
Line 1: | Line 1: | ||
i have no idea what i'm talking about here, but shouldn't "Monad m" imply "Functor m" if we're already starting with a clean slate? Also, what should the solution to "head", etc be? --[[User:JohannesAhlmann|Johannes Ahlmann]] 09:47, 21 December 2006 (UTC) |
i have no idea what i'm talking about here, but shouldn't "Monad m" imply "Functor m" if we're already starting with a clean slate? Also, what should the solution to "head", etc be? --[[User:JohannesAhlmann|Johannes Ahlmann]] 09:47, 21 December 2006 (UTC) |
||
+ | :"Monad m" should imply "Functor m". By your question about "head", do you mean the problem of it being undefined on <hask>[]</hask>? [[User:BrettGiles|BrettGiles]] 14:13, 21 December 2006 (UTC) |
||
+ | |||
+ | |||
+ | ==Naming== |
||
+ | Although the name of the page "The Other Prelude" does not seem to fit the Wiki standard (sentence case says: The other prelude), I left it as it appears to be a proper name when you read the content. [[User:BrettGiles|BrettGiles]] 14:13, 21 December 2006 (UTC) |
Revision as of 14:13, 21 December 2006
i have no idea what i'm talking about here, but shouldn't "Monad m" imply "Functor m" if we're already starting with a clean slate? Also, what should the solution to "head", etc be? --Johannes Ahlmann 09:47, 21 December 2006 (UTC)
- "Monad m" should imply "Functor m". By your question about "head", do you mean the problem of it being undefined on
[]
? BrettGiles 14:13, 21 December 2006 (UTC)
Naming
Although the name of the page "The Other Prelude" does not seem to fit the Wiki standard (sentence case says: The other prelude), I left it as it appears to be a proper name when you read the content. BrettGiles 14:13, 21 December 2006 (UTC)