Re: [Haskell-cafe] [Q] multiparam class undecidable types

2012-05-10 Thread oleg
i think what i will do is to instantiate all table types individually: | instance Show c = Show (SimpleTable c) where | showsPrec p t = showParen (p 10) $ showString FastTable . | shows (toLists t) I was going to propose this solution, as well as

Re: [Haskell-cafe] anyone else driven mad by trying to setup a gmp free version of haskell platform?

2012-05-10 Thread Paul Graphov
I had no problems building gmp-free GHC 7.4.1 for x86 Solaris (Openindiana to be precise) and Mac OS X. Not as a part of Haskell Platform, just compiler itself. To be precise, there was a little problem under Solaris: make failed complaining about loop in compilation. I removed this check from

Re: [Haskell-cafe] Template Haskell: Generate annotated function of a typeclass

2012-05-10 Thread Ismael Figueroa Palet
Hi Michael, I was able to do what I wanted using reify instead of reifyInstances, and also I used applyT instead of substT. Thanks 2012/4/13 Ismael Figueroa Palet ifiguer...@gmail.com Thanks for your reply, in particular the reference to subsT! I will work more on this next monday, and report

Re: [Haskell-cafe] Data Kinds and superfluous (in my opinion) constraints contexts

2012-05-10 Thread Simon Peyton-Jones
I'm glad you've been trying out kinds. However, I don't understand the feature you want here. You say: fromIntgr :: Integer - BV (size :: D) fromIntgr int = BV mkD int -- doesn't work, but desired. fromIntgr :: MkD size = Integer - BV (size :: D) fromIntgr int = BV mkD int -- does work,

Re: [Haskell-cafe] Data Kinds and superfluous (in my opinion) constraints contexts

2012-05-10 Thread Conor McBride
Hi Simon On 10 May 2012, at 13:19, Simon Peyton-Jones wrote: I'm glad you've been trying out kinds. However, I don't understand the feature you want here. You say: fromIntgr :: Integer - BV (size :: D) fromIntgr int = BV mkD int -- doesn't work, but desired. fromIntgr :: MkD size =

[Haskell-cafe] Gentle reminder: Summer school on Applied Functional Programming at Utrecht University; deadline for registration May 20

2012-05-10 Thread S D Swierstra
Again we will teach an Applied Functional Programming Summer in Haskell school this year at Utrecht University. In the previous two occasions students were all very happy with the school and we plan to repeat this success this year. The intended audience are prospective master students who

[Haskell-cafe] ANNOUNCE: haskell-src-exts 1.13.3

2012-05-10 Thread Niklas Broberg
Fellow Haskelleers, I'm pleased to announce the release of haskell-src-exts-1.13.3! * On hackage: http://hackage.haskell.org/package/haskell-src-exts * Via cabal: cabal install haskell-src-exts * Darcs repo: http://code.haskell.org/haskell-src-exts This release attempts to fix a bunch of

[Haskell-cafe] Oxford Haskell Users Group

2012-05-10 Thread Nicolas Wu
Dear all, I'd like to announce that the Oxford Haskell User's Group will be meeting up next week at 7pm on Tuesday 15th May. As is our custom, we'll be catching up over a few drinks in a local pub, this time, it's at the Three Goats Heads, St Michael's Street. Discussion is informal, with the

Re: [Haskell-cafe] Can Haskell outperform C++?

2012-05-10 Thread Ryan Newton
through the trouble of writing my algorithms in C/C++, but simple-minded people often have a desire to get the best performance possible, in which case you really want to use C, C++, Fortran or whatever high level assembler language you like. I think this is a bit of an unfair accusation

Re: [Haskell-cafe] Can Haskell outperform C++?

2012-05-10 Thread Manuel M T Chakravarty
Ryan Newton: As a community I think we have to face the fact that writing the hot inner loop of your application as idiomatic Haskell is not [yet] going to give you C/Fortran performance off the bat. Though in some cases there's not really anything stopping us but more backend/codegen work

Re: [Haskell-cafe] Can Haskell outperform C++?

2012-05-10 Thread Ertugrul Söylemez
Ryan Newton rrnew...@gmail.com wrote: I think this is a bit of an unfair accusation (simple-minded). Performance is only relevant to certain domains, sure. But program performance is an entire *industry*. And I'd argue it's of massive importance to the world at large. Intel has an army of