Every question is welcome on haskell-cafe . The goal of
haskell-beginners is to encourage answers that are tailored to
beginners, i.e. no scary existential multi-parameter category theory
type class monads there. :)
Do you get warm fuzzy existential multi-parameter category theory type
Heinrich Apfelmus apfel...@quantentunnel.de writes:
Ivan Miljenovic wrote:
Also, there's a haskell-beginners mailing list. You may wish to post
there rather than asking us every question you get whilst learning
Haskell.
Every question is welcome on haskell-cafe . The goal of
On Fri, Mar 19, 2010 at 5:10 PM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
Heinrich Apfelmus apfel...@quantentunnel.de writes:
Ivan Miljenovic wrote:
Also, there's a haskell-beginners mailing list. You may wish to post
there rather than asking us every question you get
On Thu, 2010-03-18 at 20:34 -0700, zaxis wrote:
let f x xs = [x:xs,xs]
:t f
f :: a - [a] - [[a]]
:t (=) .f
(=) .f :: a - ([[a]] - [a] - b) - [a] - b
Hmm. You seems to have defined Monad ((-) a).
(=) . f == \x - (=) (f x) == \x - (f x =)
1. x :: ∀ a. a from type of f
2. f :: ∀ a. a -