[Haskell-cafe] DEFUN09: Final Call for Talks & Tutorials (co-located w/ ICFP09)

Call for Talks and Tutorials ACM SIGPLAN 2009 Developer Tracks on Functional Programming http://www.defun2009.info/ Edinburgh, Scotland, September 3 and 5, 2009 The workshop will be held in conjunction with ICFP 2009 http:/

Re: [Haskell-cafe] What's the problem with iota's type signature?

michael rice wrote: Still exploring monads. I don't understand why the type signature for double is OK, It isn't. The |a| and |b| variables must unify: Prelude> :t \x -> Just (x+x) \x -> Just (x+x) :: (Num a) => a -> Maybe a Prelude> :t (\x -> Just (x+x)) :: Num a => a -> Maybe b

Re: [Haskell-cafe] the problem of design by negation

Thanks for bringing in this angle, David. My preference is for honest and humble practice and documentation of negative design. Instead of saying that something "won't work", "can't work", "is impossible" etc (or rephrased via "must", "only", etc), I'd like honest admissions like "I couldn't figu

Re: [Haskell-cafe] What's the problem with iota's type signature?

Yeah, I went back and tried double again, though I'd swear I got the dang thing to compile  (and run) w/o errors. I guess I meant Num. So Num is a class and Int and Integer are types? What are the other classes? Docs? Unification, for me, is pattern matching ala Prolog. What's the meaning in H

Re: [Haskell-cafe] How to implement this? A case for scoped record labels?

On Tue, 2009-05-26 at 18:09 -0400, wren ng thornton wrote: > GADTs can easily cover record selectors that apply to all constructors, > and selectors that apply to one constructor (or a set of constructors > producing the same type). If the family of selector sets forms a nice > tree hierarchy, y

[Haskell-cafe] Re: Beginner SOS

On Wed, 27 May 2009 15:04:36 -0700, Thomas DuBuisson wrote: >>> ?There are links to some great tutorials [1] and IRC >>> information where you can get real-time help [2]. ?Also there are some >>> good books [3]. >>> >>> I think most "recent" learners learned from YAHT [4], Gentle >>> Introduction

Re: [Haskell-cafe] Design in Haskell?

Hi Dan, On Mon, May 25, 2009 at 1:22 AM, Dan wrote: > Hi, > > When I was learning to program in imperative languages like Java, there > were plenty of resources to learn from about how to design large > programs.   Ideas like the GoF Design Patterns gave useful models that > one could then scale

[Haskell-cafe] Re: Who takes care of Haskell mailing lists?

On Wed, 27 May 2009 17:52:17 -0300, Mauricio wrote: >I would like to create a mailing list for Portuguese speaking >Haskell programmers. I tried checking haskell.org mailing lists >page, but the only contact e-mail I see is 'mail...@haskell.org', >and a message sent to that address is replied wit

<    1   2