Re: [Haskell-cafe] ANNOUNCE: mime-mail 0.1.0

2010-12-09 Thread Nicolas Pouillard
, fork, polish... Have fun, [1]: https://github.com/np/mime-bytestring -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Question: mime-mail and base64 encoding

2010-12-07 Thread Nicolas Pouillard
headers, particularly Subject: lines (substituting q-encoding for qp). I would prefer quoted-printable as well, at least for the text alternative. -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http

RE: [Haskell-cafe] Quasiquoter invocation no longer requires/allows a leading dollar sign.

2010-11-12 Thread Nicolas Pouillard
On Fri, 12 Nov 2010 08:38:24 +, Simon Peyton-Jones simo...@microsoft.com wrote: Good point. I've done this. (Ian, could you merge) Thank you very much for this! I was afraid to see so much code broken as well as Michael. Best regards, -- Nicolas Pouillard http://nicolaspouillard.fr

Re: [Haskell-cafe] back doors into the IO monad

2010-10-24 Thread Nicolas Pouillard
everything. -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] allocation for pure FFI functions

2010-10-15 Thread Nicolas Pouillard
of preventing generalization of mutable data. Best regards, -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Haskellers.com recent changes (and I need some volunteers)

2010-10-11 Thread Nicolas Pouillard
to favor whitelists (the wiki requires admin intervention for an account, same on HackageDB). I think that Verified accounts sounds more appropriate than Real Haskellers, then. Regards, -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe

Re: [Haskell-cafe] Re: Lambda-case / lambda-if

2010-10-08 Thread Nicolas Pouillard
On Fri, 8 Oct 2010 01:13:20 +0300, Lauri Alanko l...@iki.fi wrote: On Thu, Oct 07, 2010 at 02:45:58PM -0700, Nicolas Pouillard wrote: On Thu, 07 Oct 2010 18:03:48 +0100, Peter Wortmann sc...@leeds.ac.uk wrote: Might be off-topic here, but I have wondered for a while why Haskell doesn't

Re: [Haskell-cafe] Re: Lambda-case / lambda-if

2010-10-07 Thread Nicolas Pouillard
d; e} | +-- do {a; x - c; b x d; e} Imagine that b can be equal to b1 b2 and so where placing the x - c is non obvious and it should be. On the other hand case (- m) of {...} being translated into m = \x - case x of {...} is non-ambigous. Best regards, -- Nicolas Pouillard http

Re: Re[2]: [Haskell-cafe] Lambda-case / lambda-if

2010-10-05 Thread Nicolas Pouillard
. You've written the Scott encoding of list. The Church encoding should look familiar: list :: b - (a - b - b) - [a] - b I would argue for the previous one (Scott), since we already have this one (this is foldr with another order for arguments). -- Nicolas Pouillard http

Re: [Haskell-cafe] Unified Haskell login

2010-09-19 Thread Nicolas Pouillard
an OpenID provider for myself, set my email address as insert someone else's address here and essentially spam them. One can verify the email address found via the OpenID. However this would not really be spam since the email contents won't be chosen by the spammer. -- Nicolas Pouillard http

Re: [Haskell-cafe] Unified Haskell login

2010-09-17 Thread Nicolas Pouillard
though. - If it is not enough, then having such a service for the community would be doable and independent of the authentication. This service could holds permissions for the different services around. Best regards, -- Nicolas Pouillard http://nicolaspouillard.fr

[Haskell-cafe] Re: ANNOUNCE: countable-1.0

2010-09-06 Thread Nicolas Pouillard
! -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell] Re: [Haskell-cafe] ANNOUNCE: enumerator, an alternative iteratee package

2010-08-23 Thread Nicolas Pouillard
be better to check if extra is empty to produce an empty list of chunks? -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: Fwd: Semantics of iteratees, enumerators, enumeratees?

2010-08-23 Thread Nicolas Pouillard
of it. -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: Laziness question

2010-08-04 Thread Nicolas Pouillard
On Tue, 03 Aug 2010 16:36:33 +0200, Janis Voigtländer j...@informatik.uni-bonn.de wrote: Nicolas Pouillard schrieb: - If there is no class instance for function types, then those problems go away, of course. But it is doubtful whether that would be a viable solution. Quite a few programs

Re: [Haskell-cafe] Re: Laziness question

2010-08-04 Thread Nicolas Pouillard
On Wed, 04 Aug 2010 15:41:54 +0200, Janis Voigtländer j...@informatik.uni-bonn.de wrote: Nicolas Pouillard schrieb: Actually I think we can keep the old generic seq, but cutting its full polymorphism: seq :: Typeable a = a - b - b I guess I don't know enough about Typeable

Re: [Haskell-cafe] Re: Laziness question

2010-08-04 Thread Nicolas Pouillard
On Wed, 04 Aug 2010 17:27:01 +0200, Janis Voigtländer j...@informatik.uni-bonn.de wrote: Nicolas Pouillard schrieb: However the rule is still the same when using an unsafe function you are on your own. Clearer? Almost. What I am missing is whether or not you would then consider your

Re: [Haskell-cafe] Re: Laziness question

2010-08-04 Thread Nicolas Pouillard
On Wed, 04 Aug 2010 17:47:12 +0200, Janis Voigtländer j...@informatik.uni-bonn.de wrote: Nicolas Pouillard schrieb: On Wed, 04 Aug 2010 17:27:01 +0200, Janis Voigtländer j...@informatik.uni-bonn.de wrote: Nicolas Pouillard schrieb: However the rule is still the same when using an unsafe

Re: [Haskell-cafe] Re: Laziness question

2010-08-04 Thread Nicolas Pouillard
On Wed, 04 Aug 2010 18:04:13 +0200, Janis Voigtländer j...@informatik.uni-bonn.de wrote: Nicolas Pouillard schrieb: On Wed, 04 Aug 2010 17:47:12 +0200, Janis Voigtländer j...@informatik.uni-bonn.de wrote: Nicolas Pouillard schrieb: On Wed, 04 Aug 2010 17:27:01 +0200, Janis Voigtländer

Re: [Haskell-cafe] Re: Laziness question

2010-08-03 Thread Nicolas Pouillard
function is made. Kind regards, -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: Laziness question

2010-08-03 Thread Nicolas Pouillard
but not for functions. So in this view only forcing functions would be considered out of the language. -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Laziness question

2010-08-01 Thread Nicolas Pouillard
in favor of renaming seq to unsafeSeq, and introduce a type class to reintroduce seq in a disciplined way. -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo

Re: [Haskell-cafe] Laziness question

2010-08-01 Thread Nicolas Pouillard
can simply forbidden the forcing of function (as we do with Eq). The few cases where it does matter will rescue to unsafeSeqFunction. Cheers, -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http

Re: [Haskell-cafe] Re: Mining Twitter data in Haskell and Clojure

2010-07-02 Thread Nicolas Pouillard
the logic and perhaps the conceptual data structures. Then better maps will be tried. Then a giant shootout will ensue, now that Haskell finishes! I'll post here when it's ready. Is the OCaml version available somewhere ? -- Nicolas Pouillard http://nicolaspouillard.fr

Re: [Haskell-cafe] darcs to mercurial migration

2010-05-10 Thread Nicolas Pouillard
On Fri, 7 May 2010 08:42:31 -0700, Jason Dagit da...@codersbase.com wrote: On Fri, May 7, 2010 at 2:29 AM, Nicolas Pouillard nicolas.pouill...@gmail.com wrote: On Thu, 06 May 2010 01:08:08 +0200, Günther Schmidt gue.schm...@web.de wrote: Hello, I'm switching from darcs

Re: [Haskell-cafe] darcs to mercurial migration

2010-05-07 Thread Nicolas Pouillard
and then use the/a mercurial fast-import. http://vmiklos.hu/project/darcs-fast-export/ Regards, -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] What is the consensus about -fwarn-unused-do-bind ?

2010-04-14 Thread Nicolas Pouillard
guess this doesn't help the space-leak argument for the warning, however. What about defining forkIO_ as forkIO return (), this way there is no ugly _ - ... nor forgotten results? -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing

Re: [Haskell-cafe] Established names for a couple of list functionals?

2010-04-07 Thread Nicolas Pouillard
f = firstOthers f . map Same thing goes to the other one. Regards, -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: Metaprogramming in Haskell vs. Ocaml

2010-04-06 Thread Nicolas Pouillard
this. It is restricted to the expression level, and not the declaration level. Moreover you cannot pattern match over the generated code. It seems to me that metaocaml is more used as user annotated partial evaluation? That is a way to look at it. -- Nicolas Pouillard http://nicolaspouillard.fr

Re: [Haskell-cafe] Re: Metaprogramming in Haskell vs. Ocaml

2010-04-06 Thread Nicolas Pouillard
allows to generate names in a rather safe way compared to camlp4. Third reification can be done on declarations done in other files. So that we can easily inspect the types and definitions of previous things, which a rather hard (near to impossible) in camlp4. Best regards, -- Nicolas Pouillard

Re: [Haskell-cafe] safe-lazy-io on GHC 6.12?

2010-02-06 Thread Nicolas Pouillard
it might be preferable to just use the new hGetContents. Or not? -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] safe lazy IO or Iteratee?

2010-02-05 Thread Nicolas Pouillard
. Best regards, [1]: http://www.haskell.org/pipermail/haskell/2009-March/021133.html -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Non-termination of type-checking

2010-01-29 Thread Nicolas Pouillard
) unfolding the type definitions. -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: PROPOSAL: Web application interface

2010-01-24 Thread Nicolas Pouillard
that you'll run out of file descriptors in no time. Trust me, I've tried.) Is the experiment easily re-doable? I would like to try using safe-lazy-io instead. -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe

Re: [Haskell-cafe] Re: could we get a Data instance for Data.Text.Text?

2010-01-23 Thread Nicolas Pouillard
for trying solution 2. and otherwise solution 4. -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Web application interface

2010-01-23 Thread Nicolas Pouillard
, -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] PROPOSAL: Web application interface

2010-01-23 Thread Nicolas Pouillard
would be more in line when using a purely functional language? Regards, -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Web application interface

2010-01-16 Thread Nicolas Pouillard
to the response tuple. Is there any plan to change this to a more forward compatible solution? -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Web application interface

2010-01-14 Thread Nicolas Pouillard
a enumToList :: Enumerator - IO [S.ByteString] enumToList e = do ch - newChan _ - forkIO $ e (writer ch) () getChanContents ch where writer ch () chunk = do writeChan ch chunk return (Right ()) Best regards, -- Nicolas

Re: [Haskell-cafe] Capped lists and |append|

2010-01-09 Thread Nicolas Pouillard
concatAndSumCabooses = concatTrain (+) 0 -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Typed Configuration Files

2010-01-08 Thread Nicolas Pouillard
-defined data structure. Is there something similar for parsing config files? If you write one I most certainly will use it! ;) Seriously, cmdargs is *brilliant*. It's also magic (to me). Not only to you in fact it is black magic since it uses unsafePerformIO :( -- Nicolas Pouillard http

Re: [Haskell-cafe] Re: Are there standard idioms for lazy, pure error handling?

2009-12-07 Thread Nicolas Pouillard
b The functor on the Loco/Caboose makes sense too and swapping the arguments is less natural to read. -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo

Re: [Haskell-cafe] Re: Are there standard idioms for lazy, pure error handling?

2009-12-01 Thread Nicolas Pouillard
this on Hackage? -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] ANNOUNCE: deepseq-1.0.0.0

2009-11-28 Thread Nicolas Pouillard
Excerpts from Simon Marlow's message of Wed Nov 18 09:55:28 +0100 2009: On 17/11/2009 12:25, Nicolas Pouillard wrote: Excerpts from Simon Marlow's message of Tue Nov 17 12:00:21 +0100 2009: I've just uploaded deepseq-1.0.0.0 to Hackage Great! I'm wondering what is the need/purpose

Re: [Haskell-cafe] Status of TypeDirectedNameResolution proposal?

2009-11-19 Thread Nicolas Pouillard
is to tread x.f or a variation thereof the same as (f x) It is more like (ModuleToGuess.f x) than (f x). -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo

Re: [Haskell-cafe] ANNOUNCE: control-monad-failure and safe-failure

2009-11-17 Thread Nicolas Pouillard
MonadFailure e m where failure :: e - m a Why is it called MonadFailure (specifically, what's the Monad bit doing there)? Because of 'Monad m' being a superclass of 'MonadFailure e m'. Here is the class: class Monad m = MonadFailure e m where   failure :: e - m a -- Nicolas Pouillard http

Re: [Haskell-cafe] ANNOUNCE: control-monad-failure and safe-failure

2009-11-17 Thread Nicolas Pouillard
Excerpts from Kalman Noel's message of Tue Nov 17 12:55:54 +0100 2009: Nicolas Pouillard schrieb: class MonadFailure e m where failure :: e - m a Why is it called MonadFailure (specifically, what's the Monad bit doing there)? Because of 'Monad m' being a superclass

Re: [Haskell-cafe] ANNOUNCE: deepseq-1.0.0.0

2009-11-17 Thread Nicolas Pouillard
Excerpts from Simon Marlow's message of Tue Nov 17 12:00:21 +0100 2009: I've just uploaded deepseq-1.0.0.0 to Hackage Great! I'm wondering what is the need/purpose for DeepSeqIntegral and DeepSeqOrd? -- Nicolas Pouillard http://nicolaspouillard.fr

Re: [Haskell-cafe] Could someone teach me why we use Data.Monoid?

2009-11-15 Thread Nicolas Pouillard
on (xs ++ ys) where xs and ys are already normalized so that you have only one point where you can break this invariant. Regards, -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http

Re: [Haskell-cafe] faster compiling for ghc

2009-11-13 Thread Nicolas Pouillard
calls GNU ld, it can be very costly. In my experience, on a I confirm that I also had this experience on Arch Linux, GNU ld was allocating Gigs of memory, however this is very hard to reproduce. Actually I've wrapped /usr/bin/ld with a timeout :) -- Nicolas Pouillard http://nicolaspouillard.fr

Re: [Haskell-cafe] (state) monad and CPS

2009-11-12 Thread Nicolas Pouillard
Excerpts from wren ng thornton's message of Thu Nov 12 08:17:41 +0100 2009: Nicolas Pouillard wrote: Excerpts from jean-christophe mincke's message of Tue Nov 10 21:18:34 +0100 2009: do acc - get put (acc+1) ... Since this pattern occurs often 'modify' is a combination

Re: [Haskell-cafe] (state) monad and CPS

2009-11-11 Thread Nicolas Pouillard
the Control.Monad.Trans.Cont [1] module. [1]: http://hackage.haskell.org/packages/archive/transformers/0.1.4.0/doc/html/Control-Monad-Trans-Cont.html Best regards, -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe

Re: [Haskell-cafe] Least common supertype?

2009-11-11 Thread Nicolas Pouillard
. -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] pattern match failure as control structure

2009-11-10 Thread Nicolas Pouillard
Haskell. However if this is for debugging purpose or setting up a global exception catcher for a final product then this is fine. [1]: http://www.haskell.org/ghc/docs/latest/html/libraries/base/Control-Exception.html#8 -- Nicolas Pouillard http://nicolaspouillard.fr

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: control-monad-exception 0.5 with monadic call traces

2009-11-09 Thread Nicolas Pouillard
to statically deductible from the call site. If you write a function and cannot prove that you will not call head on the empty list then either you check before calling, or you use a safe-head function or you add a pre-condition to your function. [1]: http://www.cl.cam.ac.uk/~nx200/ -- Nicolas

Re: [Haskell-cafe] proposal: point free case expressions

2009-11-05 Thread Nicolas Pouillard
! +1! +1 -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Are all arrows functors?

2009-11-03 Thread Nicolas Pouillard
/libraries/base/Control-Applicative.html#t%3AWrappedMonad -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Error handling package

2009-10-20 Thread Nicolas Pouillard
Regards, -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Error handling package

2009-10-20 Thread Nicolas Pouillard
On Tue, Oct 20, 2009 at 3:12 PM, Michael Snoyman mich...@snoyman.com wrote: On Tue, Oct 20, 2009 at 11:04 AM, Nicolas Pouillard nicolas.pouill...@gmail.com wrote: On Sun, Oct 18, 2009 at 9:45 PM, Michael Snoyman mich...@snoyman.com wrote: While working on the next release of data-object

Re: [Haskell-cafe] Error handling package

2009-10-20 Thread Nicolas Pouillard
On Wed, Oct 21, 2009 at 12:02 AM, Michael Snoyman mich...@snoyman.com wrote: On Tue, Oct 20, 2009 at 5:17 PM, Nicolas Pouillard nicolas.pouill...@gmail.com wrote: On Tue, Oct 20, 2009 at 3:12 PM, Michael Snoyman mich...@snoyman.com wrote: On Tue, Oct 20, 2009 at 11:04 AM, Nicolas

Re: [Haskell-cafe] Re: Applicative do?

2009-10-10 Thread Nicolas Pouillard
thin. As you know OCaml always lives in an implicit big IO monad and so its 'let' syntax is a monadic do. However there is plenty of other monads that could use the do notation, and of course you know them well (and there is Camlp4 extensions in OCaml for that). Best regards, -- Nicolas

Re: [Haskell-cafe] Applicative do?

2009-10-09 Thread Nicolas Pouillard
over several lines and keeps the names closer to the binding. You can still name intermediate *computations* using local bindings, right? Then you just have to use the named computations in idioms brackets. -- Nicolas Pouillard http://nicolaspouillard.fr

Re: [Haskell-cafe] random question

2009-10-08 Thread Nicolas Pouillard
), then | Can you elaborate on that? -+ Best regards, -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] yi-editor: Duplicate instance declarations

2009-09-27 Thread Nicolas Pouillard
Category Accessor.T -- Defined at Yi/Prelude.hs:182:9-38 instance Category Accessor.T -- Defined in data-accessor-0.2.1:Data.Accessor.Private cabal: Error: some packages failed to install: yi-0.6.1 failed during the building phase. The exception was: exit: ExitFailure 1 -- Nicolas

Re: [Haskell-cafe] Program with ByteStrings leads to memory exhaust.

2009-09-14 Thread Nicolas Pouillard
to splitAt but I didn't made a deep investigation. -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] ANN: yst 0.2.1

2009-08-03 Thread Nicolas Pouillard
Excerpts from John MacFarlane's message of Mon Aug 03 03:05:00 +0200 2009: I'm pleased to announce the release of yst, now available on HackageDB. Great! I've used it for a web site of mine today with success. -- Nicolas Pouillard http://nicolaspouillard.fr

Re: [Haskell-cafe] Implicit concatenation in list comprehensions

2009-07-20 Thread Nicolas Pouillard
/ticket/3377#comment:3) which are a lot more useful: I vote for both extensions. -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] ANN: hsparql, a SPARQL query generator/DSL and client

2009-07-09 Thread Nicolas Pouillard
reading I was wondering if GADTs could help having an even nicer query language. -- Nicolas Pouillard http://nicolaspouillard.fr ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re[2]: [Haskell-cafe] Bool as type class to serve EDSLs.

2009-05-29 Thread Nicolas Pouillard
mapNonEmpty f x | x == mempty = mempty | otherwise = f x Best regards, -- Nicolas Pouillard http://nicolaspouillard.fr

[Haskell-cafe] Re: [Haskell] [ANN] Safe Lazy IO in Haskell

2009-05-19 Thread Nicolas Pouillard
Excerpts from Taral's message of Tue May 19 00:05:39 +0200 2009: On Mon, May 18, 2009 at 10:30 AM, Nicolas Pouillard nicolas.pouill...@gmail.com wrote: The type I would need for bind is this one:  (=) :: NFData sa = LI sa - (sa - LI b) - LI b Will this do? (=) :: (NFData sa, NFData b

Re: [Haskell-cafe] Re: [Haskell] [ANN] Safe Lazy IO in Haskell

2009-05-19 Thread Nicolas Pouillard
-scripts/package/rmonad -- Nicolas Pouillard ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: [Haskell] [ANN] Safe Lazy IO in Haskell

2009-05-18 Thread Nicolas Pouillard
could add this NFData constraint, but that's not like having a Monad instance directly. Best regards, -- Nicolas Pouillard ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] caml build

2009-05-13 Thread Nicolas Pouillard
? On Tue, May 12, 2009 at 7:23 AM, Nicolas Pouillard nicolas.pouill...@gmail.com wrote: Excerpts from Vasili I. Galchin's message of Tue May 12 00:27:26 +0200 2009: Hello, I have forgotten whether I sent this posting out. Sorry if I did (I didn't see on Haskell cafe archive

Re: [Haskell-cafe] question on the Prelude .. vis-a-vis

2009-05-13 Thread Nicolas Pouillard
': it is a member of package base, which is hidden You want to add 'base' to the 'Build-Depends:' field of the cabal file. -- Nicolas Pouillard ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell

Re: [Haskell-cafe] caml build

2009-05-12 Thread Nicolas Pouillard
... I don't see an additional parameter like verbose mode that will tell which swish component is being built. ??? I don't get the relation with the subject of your post, can you elaborate? Best regards, -- Nicolas Pouillard ___ Haskell-Cafe mailing

Re: [Haskell-cafe] Re: Best text editor

2009-04-16 Thread Nicolas Pouillard
Yi is the only one I would use--coding must always live inside a screen session :) I really dislike wrapping a GUI around vi(m). I don't want toolbars, tabs, scrollbars nor menus. I don't even want a titlebar. Absolute full screen terminal running screen is perfect. :) +1 -- Nicolas

Re: [Haskell-cafe] binary package: memory problem decoding an IntMap

2009-04-05 Thread Nicolas Pouillard
it should, since tuples are decoded lazily. Why not switch to [(Word16 :*: UArr (Word32 :*: Word8))] then? -- Nicolas Pouillard ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Reverting to any old version using Darcs

2009-04-02 Thread Nicolas Pouillard
that makes the enables the detection of new files. Removing files is already detected and moving should be done with darcs mv which makes it pretty close to what one can expect. Best regards, -- Nicolas Pouillard ___ Haskell-Cafe mailing list Haskell-Cafe

Re: [Haskell-cafe] Re: Exception handling in numeric computations

2009-03-29 Thread Nicolas Pouillard
it would be better to treat only the possible cases, no? [1]: http://www.haskell.org/ghc/docs/latest/html/libraries/base/System-IO.html#v%3AhGetLine -- Nicolas Pouillard ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org

[Haskell-cafe] RE: [ANN] Safe Lazy IO in Haskell

2009-03-24 Thread nicolas . pouillard
Excerpts from Wei Hu's message of Mon Mar 23 17:37:15 +0100 2009: Nicolas Pouillard nicolas.pouillard at gmail.com writes: Hi folks, We have good news (nevertheless we hope) for all the lazy guys standing there. Since their birth, lazy IOs have been a great way to modularly

Re: [Haskell-cafe] MissingH bracketCD (aka bracketCWD) bug -- this is the infamous lazy io, right?

2009-03-23 Thread Nicolas Pouillard
://hackage.haskell.org/cgi-bin/hackage-scripts/package/strict-io -- Nicolas Pouillard ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] [ANN] Safe Lazy IO in Haskell

2009-03-23 Thread nicolas . pouillard
then restrict lifting to LazyIO to SIO actions. That would not make LazyIO safe, but reduces surprises. By SIO you actually mean straight-io right? I was confused because I also have an SIO monad in the strict-io package. -- Nicolas Pouillard ___ Haskell

Re: [Haskell-cafe] [ANN] Safe Lazy IO in Haskell

2009-03-23 Thread nicolas . pouillard
. In particular in the case 'IO', using explicit exception is maybe too heavy. -- Nicolas Pouillard ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] [ANN] Safe Lazy IO in Haskell

2009-03-22 Thread nicolas . pouillard
Excerpts from Henning Thielemann's message of Sat Mar 21 22:27:08 +0100 2009: On Fri, 20 Mar 2009, Nicolas Pouillard wrote: Hi folks, We have good news (nevertheless we hope) for all the lazy guys standing there. Since their birth, lazy IOs have been a great way to modularly

Re: [Haskell-cafe] [ANN] Safe Lazy IO in Haskell

2009-03-22 Thread nicolas . pouillard
handles in particular closing them. Actually the implementation of lazy inputs focus particularly on that---through the 'Finalized' values. http://hackage.haskell.org/packages/archive/safe-lazy-io/0.1/doc/html/src/System-IO-Lazy-Input-Internals.html -- Nicolas Pouillard

[Haskell-cafe] [ANN] Safe Lazy IO in Haskell

2009-03-20 Thread Nicolas Pouillard
/Streams.html [3]: http://www.haskell.org/pipermail/haskell/2009-March/021064.html [4]: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/strict-io -- Nicolas Pouillard ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman

Re: [Haskell-cafe] differences between Data.Array and Data.Vector

2009-03-01 Thread Nicolas Pouillard
) time copy of the vector (if I correctly got the code). -- Nicolas Pouillard ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] GHC's -fwarn-unused-imports ignores function signatures

2009-01-28 Thread Nicolas Pouillard
, Michael ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe -- Nicolas Pouillard

Re: [Haskell-cafe] Re: ANNOUNCE: Coadjute 0.0.1, generic build tool

2009-01-19 Thread Nicolas Pouillard
and ocamlbuild share a fair number of design choices, maybe having a look at it could be fruitful. Best regards, -- Nicolas Pouillard ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: [Haskell] ANN: Real World Haskell, now shipping

2008-11-26 Thread Nicolas Pouillard
ago and it's planned for the 10 December. -- Nicolas Pouillard aka Ertai ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] foldl vs foldl'

2008-11-05 Thread Nicolas Pouillard
-- Nicolas Pouillard aka Ertai ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: Efficient parallel regular expressions

2008-11-05 Thread Nicolas Pouillard
there is a bug in there: GHCI keywordMatch [(a, 1), (aa, 2)] aa Nothing The third equation of generateTrie' is missing a guard, namely k1 /= k2. generateTrie' [(k1:ks1,v1),(k2:ks2,v2)] | k1 /= k2 = Node2 k1 (generateTrie [(ks1,v1)]) k2 (generateTrie [(ks2,v2)]) Best regards, -- Nicolas Pouillard

[Haskell-cafe] ANN: A Functional Implementation of the Garsia-Wachs Algorithm

2008-09-23 Thread Nicolas Pouillard
function! Here is the hackage URL: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/garsia-wachs And the darcs 2 URL: http://darcs.feydakins.org/garsia-wachs -- Nicolas Pouillard aka Ertai signature.asc Description: PGP signature

Re: [Haskell-cafe] ANN: A Functional Implementation of the Garsia-Wachs Algorithm

2008-09-23 Thread Nicolas Pouillard
I've just released an 1.2 version. Excerpts from Ross Paterson's message of Tue Sep 23 05:03:29 -0700 2008: On Mon, Sep 22, 2008 at 11:15:36PM -0700, Nicolas Pouillard wrote: Here is an Haskell implementation of an algorithm that builds a binary tree with minimum weighted path length from

Re: [Haskell-cafe] Is there already an abstraction for this?

2008-09-22 Thread Nicolas Pouillard
(expr 1 + 2))) print (ppExpr (deepIdentity (expr 0 + (0 + 0) + (0 + 0 -- Nicolas Pouillard aka Ertai signature.asc Description: PGP signature ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo

Re: [Haskell-cafe] Cabal + yi + alex problem.

2008-07-30 Thread Nicolas Pouillard
module `Graphics.Vty': Use -v to see a list of the files searched for. cabal: Error: some packages failed to install: yi-0.4.3 failed during the building phase. The exception was: exit: ExitFailure 1 Can you try the vty flag: $ sudo cabal install yi -fvty -- Nicolas Pouillard aka

Re: [Haskell-cafe] syntactic anti-unification of TH terms --- best practice?

2008-07-18 Thread Nicolas Pouillard
`_', [EMAIL PROTECTED]', `!v'... -- Nicolas Pouillard signature.asc Description: PGP signature ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Design suggestion for Data.Binary.Defer

2008-06-17 Thread Nicolas Pouillard
to read the file backward. If so length annotations could be put at the end. Reading backward seems to only fail with streamed data, which won't support the seeking required by a lazy reading anyway. Regards, -- Nicolas Pouillard aka Ertai signature.asc Description: PGP signature

Re: [Haskell-cafe] Design your modules for qualified import

2008-06-09 Thread Nicolas Pouillard
) and thus prefer when names don't collide (except for modules like Data.Map or ByteString where I use the as notation). The key point for me is to be able to trace as fast as possible what precisely use a module by looking (only) at the top of the file. Best regards, -- Nicolas Pouillard