Re: [Haskell-cafe] reifying typeclasses

2013-09-16 Thread Emil Axelsson
2013-09-15 11:16, o...@okmij.org skrev: Evan Laforge wrote: I have a typeclass which is instantiated across a closed set of 3 types. It has an ad-hoc set of methods, and I'm not too happy with them because being a typeclass forces them to all be defined in one place, breaking modularity. A

Re: [Haskell-cafe] Monomorphic containers, Functor/Foldable/Traversable WAS: mapM_ for bytestring

2013-09-16 Thread John Lato
On Fri, Sep 13, 2013 at 12:48 AM, Michael Snoyman mich...@snoyman.comwrote: On Thu, Sep 12, 2013 at 2:37 AM, John Lato jwl...@gmail.com wrote: I didn't see this message and replied privately to Michael earlier, so I'm replicating my comments here. Sorry about that, I wrote to you

[Haskell-cafe] plugins fails on a simple example

2013-09-16 Thread Petr Pudlák
Hi, I'm playing with plugins, trying to evaluate a simple expression: |import Control.Monad import System.Eval.Haskell main =do let fExpr =1 + 2 :: Int r - eval_ fExpr [Prelude] [] [] [] ::IO (Either [String] (Maybe Int)) case rof Right (Just f) -do

Re: [Haskell-cafe] [Haskell] ANN: Cabal v1.18.0 released

2013-09-16 Thread Henning Thielemann
On Wed, 4 Sep 2013, Johan Tibell wrote: * GHCi support. It's now much easier to use ghci when developing your packages, especially if those packages require preprocessors (e.g. hsc2hs). That's a great feature! How can I configure Cabal to start ghci with certain options? I like to enable

Re: [Haskell-cafe] [Haskell] ANN: Cabal v1.18.0 released

2013-09-16 Thread Erik Hesselink
On Mon, Sep 16, 2013 at 10:16 AM, Henning Thielemann lemm...@henning-thielemann.de wrote: On Wed, 4 Sep 2013, Johan Tibell wrote: * GHCi support. It's now much easier to use ghci when developing your packages, especially if those packages require preprocessors (e.g. hsc2hs). That's a great

Re: [Haskell-cafe] Monomorphic containers, Functor/Foldable/Traversable WAS: mapM_ for bytestring

2013-09-16 Thread Michael Snoyman
On Mon, Sep 16, 2013 at 10:34 AM, John Lato jwl...@gmail.com wrote: On Fri, Sep 13, 2013 at 12:48 AM, Michael Snoyman mich...@snoyman.comwrote: On Thu, Sep 12, 2013 at 2:37 AM, John Lato jwl...@gmail.com wrote: I didn't see this message and replied privately to Michael earlier, so I'm

Re: [Haskell-cafe] OS X ghci problem

2013-09-16 Thread Christiaan Baaij
Hi, I saw the same issue/crash on my machine using ghc 7.6.3. I just build a perf build of GHC-head with 85a9e2468dc74b9e5ccde0dd61be86219fd323a2 as the latest commit. Now running, I get: 1) cabal install bindings-glfw 2) ghci 3) ghci :m Bindings.GLFW 4) ghci Bindings.GLFW.c'glfwInit 5) ghci

Re: [Haskell-cafe] OS X ghci problem

2013-09-16 Thread Christiaan Baaij
Here's a binary dist of my build: https://www.dropbox.com/s/d37rij0dnvjiqqy/ghc-7.7.20130915-x86_64-apple-darwin.tar.bz2 In case someone wants to confirm my findings. Cheers, Christiaan On Sep 16, 2013, at 2:24 PM, Christiaan Baaij christiaan.ba...@gmail.com wrote: Hi, I saw the same

Re: [Haskell-cafe] An APL library for Haskell

2013-09-16 Thread MIMUW
Dear Haskellers APLers, On 03/08/2012 02:44 PM, Simon Peyton-Jones wrote: Friends Many of you will know the array language APLhttp://en.wikipedia.org/wiki/APL_%28programming_language%29. It focuses on arrays and in particular has a rich, carefully-thought-out array algebra. An

Re: [Haskell-cafe] An APL library for Haskell

2013-09-16 Thread Carter Schonwald
Hey All, As Dan Peebles remarks, Repa and similar libs give a great haskelly vocabulary for this. Indeed, most of the examples in the wiki page are very much expressible with the REPA data model. I'd like to take this opportunity note that I'll be releasing a prototype library for numerical

Re: [Haskell-cafe] OS X ghci problem

2013-09-16 Thread Carter Schonwald
Christian, Yes, ghc 7.7/7.8 *should* fix all the ghci linker related problems on platforms that support dynamic linking! If (or anyone else) finds problems with the ghci linker on 7.7, please report them post haste! I'm also glad to hear that someone's finally tested out the new ghci

Re: [Haskell-cafe] plugins fails on a simple example

2013-09-16 Thread Jeremy Shaw
plugins probably needs to be patched[1]. I'll happily apply such a patch. - jeremy [1] or rewritten from the ground up On Mon, Sep 16, 2013 at 2:49 AM, Petr Pudlák petr@gmail.com wrote: Hi, I'm playing with “plugins”, trying to evaluate a simple expression: import Control.Monadimport

Re: [Haskell-cafe] An APL library for Haskell

2013-09-16 Thread Austin Seipp
The message was held by Mailman, because it thought you had too many recipients in the message. Gershom noticed this while we were doing some maintenance, and released it. We also bumped the recipient limit to 20 people, so this shouldn't be a problem again. On Mon, Sep 16, 2013 at 4:32 PM, Simon

Re: [Haskell-cafe] An APL library for Haskell

2013-09-16 Thread Simon Peyton-Jones
PS: Oddly I sent this message in March 2012. I don't know why it has taken over year for it to be delivered! Simon From: Haskell-Cafe [mailto:haskell-cafe-boun...@haskell.org] On Behalf Of Simon Peyton-Jones Sent: 08 March 2012 13:45 To: hask...@haskell.org; Haskell Cafe Cc: Lennart

[Haskell-cafe] Proposal: Pragma EXPORT

2013-09-16 Thread Wvv
I suggest to add instead of (or with) export section Pragma EXPORT: We have 3 values: public, abstract and private. Data(with newtypes and types,..) could be public, like `Data(...)` or abstract `Data`. Other cases abstract = public. {-# EXPORT smth #-} pragma is valid till next {-# EXPORT smth

Re: [Haskell-cafe] Proposal: New syntax for Haskell

2013-09-16 Thread Albert Y. C. Lai
A specification language is desirable. (Test cases are special cases of specifications. Test-driven development is a revival of the waterfall process.) For specifying interactions (computer-computer or computer-human), I recommend live sequence charts of David Harel, or generally any one based

Re: [Haskell-cafe] Proposal: Pragma EXPORT

2013-09-16 Thread Evan Laforge
On Mon, Sep 16, 2013 at 4:09 PM, Wvv vite...@rambler.ru wrote: I suggest to add instead of (or with) export section Pragma EXPORT: I doubt this has much chance, since haskell already made its choice here a long time ago (and even if it were still up for discussion, PRAGMA isn't right for it),

Re: [Haskell-cafe] Proposal: Pragma EXPORT

2013-09-16 Thread Ivan Lazar Miljenovic
On 17 September 2013 09:35, Evan Laforge qdun...@gmail.com wrote: On Mon, Sep 16, 2013 at 4:09 PM, Wvv vite...@rambler.ru wrote: I suggest to add instead of (or with) export section Pragma EXPORT: I doubt this has much chance, since haskell already made its choice here a long time ago (and

Re: [Haskell-cafe] Monomorphic containers, Functor/Foldable/Traversable WAS: mapM_ for bytestring

2013-09-16 Thread John Lato
On Mon, Sep 16, 2013 at 4:57 AM, Michael Snoyman mich...@snoyman.comwrote: On Mon, Sep 16, 2013 at 10:34 AM, John Lato jwl...@gmail.com wrote: On Fri, Sep 13, 2013 at 12:48 AM, Michael Snoyman mich...@snoyman.comwrote: On Thu, Sep 12, 2013 at 2:37 AM, John Lato jwl...@gmail.com wrote:

[Haskell-cafe] PSA: do not install xcode 5 if you are using ghc 7.6

2013-09-16 Thread Carter Schonwald
Hey everyone, if you are actively using ghc 7.6 on your mac, for now please do not install xcode 5. It will break your ghc install, because 7.6 doesn't know how to correctly use Clang for the CPP work. (ghc head / and thus 7.8 will work fine with xcode 5, thanks to some outstanding work by

Re: [Haskell-cafe] Monomorphic containers, Functor/Foldable/Traversable WAS: mapM_ for bytestring

2013-09-16 Thread Michael Snoyman
On Tue, Sep 17, 2013 at 4:25 AM, John Lato jwl...@gmail.com wrote: On Mon, Sep 16, 2013 at 4:57 AM, Michael Snoyman mich...@snoyman.comwrote: I think I just made a bad assumption about what you were proposing. If I was going to introduce a typeclass like this, I'd want it to support `Set`,