Personal tools

Talk:The Other Prelude

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
m (monad implies functor?)
 
(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)