Re: [Haskell-cafe] reifying typeclasses

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 sum

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

On Fri, Sep 13, 2013 at 12:48 AM, Michael Snoyman wrote: > > > > On Thu, Sep 12, 2013 at 2:37 AM, John Lato 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 privately first and then tho

[Haskell-cafe] "plugins" fails on a simple example

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)

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

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 mor

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

On Mon, Sep 16, 2013 at 10:16 AM, Henning Thielemann 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 feature! How can I

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

On Mon, Sep 16, 2013 at 10:34 AM, John Lato wrote: > On Fri, Sep 13, 2013 at 12:48 AM, Michael Snoyman wrote: > >> >> >> >> On Thu, Sep 12, 2013 at 2:37 AM, John Lato wrote: >> >>> I didn't see this message and replied privately to Michael earlier, so >>> I'm replicating my comments here. >>> >>

Re: [Haskell-cafe] OS X ghci problem

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

Re: [Haskell-cafe] OS X ghci problem

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 wrote: > Hi, > > I saw the same issue/crash on my machine u

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

Dear Haskellers & APLers, On 03/08/2012 02:44 PM, Simon Peyton-Jones wrote: > Friends > > Many of you will know the array language > APL. It > focuses on arrays and in particular has a rich, carefully-thought-out array > algebra. >

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

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 array

Re: [Haskell-cafe] OS X ghci problem

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 functionalit

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

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 wrote: > Hi, > > I'm playing with “plugins”, trying to evaluate a simple expression: > > import Control.Monadimport System.Eval.H

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

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

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 Augustsson;

[Haskell-cafe] Proposal: Pragma EXPORT

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 #-} pragma is valid till next {-# EXPORT #-}. We

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

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 base

Re: [Haskell-cafe] Proposal: Pragma EXPORT

On Mon, Sep 16, 2013 at 4:09 PM, Wvv 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), but this brings up a

Re: [Haskell-cafe] Proposal: Pragma EXPORT

On 17 September 2013 09:35, Evan Laforge wrote: > On Mon, Sep 16, 2013 at 4:09 PM, Wvv 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 dis

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

On Mon, Sep 16, 2013 at 4:57 AM, Michael Snoyman wrote: > > > > On Mon, Sep 16, 2013 at 10:34 AM, John Lato wrote: > >> On Fri, Sep 13, 2013 at 12:48 AM, Michael Snoyman wrote: >> >>> >>> >>> >>> On Thu, Sep 12, 2013 at 2:37 AM, John Lato wrote: >>> I didn't see this message and replied pri

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

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 Austi

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

On Tue, Sep 17, 2013 at 4:25 AM, John Lato wrote: > On Mon, Sep 16, 2013 at 4:57 AM, Michael Snoyman wrote: > >> >> 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`, >> since IME it's the most co

Re: [Haskell-cafe] Proposal: Pragma EXPORT

> It also makes actual definitions cleaner/shorter rather than > cluttering them with extra annotations (either PRAGMAs or > public/private markers), though this is not that big of a deal. It's true, though you could get it pretty short, e.g. default private and leading ! for public. Go uses capi