Re: [Haskell-cafe] GHCi (7.4.2) is working on ARM

2013-02-07 Thread Joachim Breitner
Hi, that’s no surprise: “ARM support in the RTS linker (#5839) has been implemented.” (http://www.haskell.org/ghc/docs/7.4.2/html/users_guide/release-7-4-2.html) Greetings, Joachim Am Mittwoch, den 06.02.2013, 18:21 -0500 schrieb dude: I have also validated ghc 7.4.1 on the Ubuntu Precise

[Haskell-cafe] Sol vingt simple problem in various languages and systems

2013-02-07 Thread Doaitse Swierstra
At https://gist.github.com/ckirkendall/2934374 you find solutions in many languages to a simple programming problem: the evaluation of an expression in an environment. I want to point your attention to the currently last three entries: - one using the UUAGC compiler to solve the problem

[Haskell-cafe] arrow notation

2013-02-07 Thread Ross Paterson
I'd like to hear from anyone who's using arrow notation as supported by GHC, because I'm planning a couple of changes to parts of it. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Either example

2013-02-07 Thread Harald Bögeholz
Am 07.02.13 03:37, schrieb Jacob Thomas: Hello I'm new to Haskell, and need help with figuring out the Either type... Any example to show how this works? Maybe a program I wrote a while ago can help you get it. https://github.com/ctbo/slitherlink In Slitherlink.hs there is a function

Re: [Haskell-cafe] Either example

2013-02-07 Thread mukesh tiwari
Hi Jocob I would recommend you to go through the LYH ( http://learnyouahaskell.com/making-our-own-types-and-typeclasses ) . data Either a b = Left a | Right b deriving (Eq, Ord, Read, Show) Lets say you have a division function and you want to avoid division by zero so this simple function

[Haskell-cafe] Announce: LA Haskell User Group February Meeting

2013-02-07 Thread Phil Freeman
Dear Haskellers, There will be a meeting of the LA Haskell User Group on Wednesday February 13th at 7pm. The details, including a list of discussion topics, as they become available, can be found here: http://www.meetup.com/Los-Angeles-Haskell-User-Group/events/102199892/ Thanks, Phil Freeman.

Re: [Haskell-cafe] arrow notation

2013-02-07 Thread Conal Elliott
Hi Ross, I make some use of arrow notation, though sadly I often have to avoid it because my (pseudo-)arrows don't have arr. I'd love to see a variant that has restricted expressiveness in exchange for arr-freeness. -- Conal On Thu, Feb 7, 2013 at 6:08 AM, Ross Paterson r...@soi.city.ac.uk

Re: [Haskell-cafe] arrow notation

2013-02-07 Thread Julian Blake Kongslie
On Thu, Feb 07, 2013 at 02:49:40PM -0800, Conal Elliott wrote: Hi Ross, I make some use of arrow notation, though sadly I often have to avoid it because my (pseudo-)arrows don't have arr. I'd love to see a variant that has restricted expressiveness in exchange for arr-freeness. Are you

Re: [Haskell-cafe] arrow notation

2013-02-07 Thread Ross Paterson
On Thu, Feb 07, 2013 at 02:49:40PM -0800, Conal Elliott wrote: I make some use of arrow notation, though sadly I often have to avoid it because my (pseudo-)arrows don't have arr. I'd love to see a variant that has restricted expressiveness in exchange for arr-freeness. It's hard to imagine

[Haskell-cafe] Extensible Type Unification

2013-02-07 Thread Leon Smith
I've been toying with some type-level programming ideas I just can't quite make work, and it seems what I really want is a certain kind of type unification. Basically, I'd like to introduce two new kind operators: kind Set as -- a finite set of ground type terms of kind as kind Range as =