Re: [Haskell-cafe] createProcess interferes with sockets?

On Sun, Apr 21, 2013 at 9:25 PM, Donn Cave wrote: > Quoth Evan Laforge , > >> sleep = Process.createProcess (Process.proc "sleep" ["5"]) > > sleep = Process.createProcess > ((Process.proc "sleep" ["5"]) {Process.close_fds = True}) > > > - Because the client uses buffered I/O (hGetContents

Re: [Haskell-cafe] Stream fusion and span/break/group/init/tails

So, if I understand correctly, you're using the "online/offline" criterion to resolve non-directed cycles in pipelines? (I couldn't tell how the Shivers paper was related.) Cheers, Edward Excerpts from Ben Lippmeier's message of Sun Apr 21 19:29:29 -0700 2013: > > On 22/04/2013, at 12:23 , "Edw

[Haskell-cafe] conditional branching vs pattern matching: pwn3d by GHC

When I was writing http://www.vex.net/~trebla/haskell/crossroad.xhtml I wanted to write: branching on predicates and then using selectors is less efficient than pattern matching, since selectors repeat the tests already done by predicates. It is only ethical to verify this claim before writing

Re: [Haskell-cafe] conditional branching vs pattern matching: pwn3d by GHC

Note that, unfortunately, GHC's exhaustiveness checker is *not* good enough to figure out that your predicates are covering. :o) Perhaps there is an improvement to be had here. Edward Excerpts from Albert Y. C. Lai's message of Mon Apr 22 00:51:46 -0700 2013: > When I was writing > http://www.ve

Re: [Haskell-cafe] createProcess interferes with sockets?

* Evan Laforge [2013-04-22 12:41:33+0530] > On Sun, Apr 21, 2013 at 9:25 PM, Donn Cave wrote: > > Quoth Evan Laforge , > > > >> sleep = Process.createProcess (Process.proc "sleep" ["5"]) > > > > sleep = Process.createProcess > > ((Process.proc "sleep" ["5"]) {Process.close_fds = True}) >

[Haskell-cafe] CFP SBLP 2013: Deadline extension

[Apologies if you receive multiple copies of this CFP] === CALL FOR PAPERS 17th BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES Brasília, Distrito Federal, Brazil September 29th to October 4th, 2013 http://cbsoft2013.unb.br/en/sblp-en ===

[Haskell-cafe] 17th BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES

[Apologies if you receive multiple copies of this CFP] === CALL FOR PAPERS 17th BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES Brasília, Distrito Federal, Brazil September 29th to October 4th, 2013 http://cbsoft2013.unb.br/en/sblp-en ==

Re: [Haskell-cafe] createProcess interferes with sockets?

quoth Evan Laforge , ... > Oh I see, because the subprocess inherits the socket connection. That > makes sense, though it's tricky. Tricky tricky unix. Why does fork() > have to be so complicated? Well, it's very elegant really. It's one of the tools UNIX gives you to decompose a task into dis

Re: [Haskell-cafe] Yi Google summer of code project

Hello again, I forgot to ask if I need to find myself a mentor or one will be assigned to me by haskell.org? Many thanks, Bastien On 4/21/13 5:57 PM, Bastien Jacot-Guillarmod wrote: Hello, I'm interested in doing some improvments on the Yi editor for my Google summer of code by implementin

[Haskell-cafe] Monad Transformer Space Leak

Hi everyone! For some reason, this leaks thunks: module Main where import Control.Monad import Control.Monad.MC -- from monte-carlo import Control.Monad.ST.Strict go :: Int -> MCT (ST s) () go k = replicateM_ k (return ()) main = print $ runST $ evalMCT (go 1) rng where rng

Re: [Haskell-cafe] Unbound: rebind and unrebind

Hi Eric, On Sun, Apr 14, 2013 at 10:57:43AM -0700, Eric Dobson wrote: > I am working at reimplementing the library Unbound to understand how > it works. One issue I have come up with is that an equation that I > thought held true doesn't. The equation is: Forall e::Rebind a b, e > `aeq` (uncurry r

Re: [Haskell-cafe] Monad Transformer Space Leak

More interestingly, the problem goes away if I enable profiling. That's kind of worrisome. - Clark On Monday, April 22, 2013, Clark Gaebel wrote: > Hi everyone! > > For some reason, this leaks thunks: > > module Main where > > import Control.Monad > import Control.Monad.MC -- from monte-carlo

Re: [Haskell-cafe] Monad Transformer Space Leak

Hi, Am Montag, den 22.04.2013, 16:44 -0400 schrieb Clark Gaebel: > More interestingly, the problem goes away if I enable profiling. > That's kind of worrisome. this part sounds similar than the recently discussed problem with the ackermann function (http://hackage.haskell.org/trac/ghc/ticket/7850

Re: [Haskell-cafe] Monad Transformer Space Leak

I don't have a copy of GHC HEAD handy, and don't have the time to set up the ecosystem myself to test this one bug. Would someone else with a copy lying around mind testing it out for me? Thanks, - Clark On Monday, April 22, 2013, Joachim Breitner wrote: > Hi, > > Am Montag, den 22.04.2013, 1

Re: [Haskell-cafe] Stream fusion and span/break/group/init/tails

On 22/04/2013, at 5:27 PM, Edward Z. Yang wrote: > So, if I understand correctly, you're using the "online/offline" > criterion to resolve non-directed cycles in pipelines? (I couldn't > tell how the Shivers paper was related.) The "online" criteria guarantees that the stream operator does not

[Haskell-cafe] ANN: Robot - Simulate keyboard and mouse events under X11

I'm pleased to announce the initial release of Robot! Robot lets you send fake keyboard and mouse events, just like its namesake in Java. Only X11 systems are supported right now (via XTest), but Windows and Mac can be added later if anyone cares. ## Features + Simple API (only 9 functions and

Re: [Haskell-cafe] Implementing an embedded language that threads a global structure.

Hi Ian, I have a couple of questions for you - 1. Could you explain why a lambda calculus like language embedded in Haskell would be useful - I ask this because, the way I understand, Haskell is already such a language - one could easily chose to restrict oneself to just function definition and ap

[Haskell-cafe] Dynamic collections of wires with netwire?

I'm using netwire to make a top-down shooter; the player can spawn projectiles by clicking, and projectiles will destroy themselves and whatever they hit on collisions. So the way I'm thinking of this is as a collection of wires, one for each projectile, that I can cast input events to; however,

Re: [Haskell-cafe] createProcess interferes with sockets?

On Mon, Apr 22, 2013 at 7:39 PM, Donn Cave wrote: > quoth Evan Laforge , > ... >> Oh I see, because the subprocess inherits the socket connection. That >> makes sense, though it's tricky. Tricky tricky unix. Why does fork() >> have to be so complicated? > > Well, it's very elegant really. It's

[Haskell-cafe] ANN: ipopt-hs 0.0.0.0

I'm pleased to announce the first release of ipopt-hs. This package is a binding to a software package for large-scale nonlinear optimization . You can get it from hackage: http://hackage.haskell.org/package/ipopt-hs Or if the documentation doesn't build (since

Re: [Haskell-cafe] Unbound: rebind and unrebind

Where I am making the type error (that cannot be caught)? I would assume it would be the 'let substed = subst x (Var y) rebound', line in particular the third argument. But the documentation of subst does not use either t or p in its type signature, so the rule doesn't seem to apply [1]. And I woul

Re: [Haskell-cafe] createProcess interferes with sockets?

quoth Evan Laforge , ... > and it still waits for the subprocess to complete. Actually, it looks > like it's the client's hGetContents, since hGetChar comes back > immediately. I guess that's understandable, but even hGetLine blocks. In the version I was looking at, if I change the server's outp