Re: [Haskell-cafe] Suggestions For An Intro To Monads Talk.

2010-08-09 Thread David Virebayre
On Fri, Aug 6, 2010 at 5:58 PM, Alex Stangl a...@stangl.us wrote: On Fri, Aug 06, 2010 at 10:17:26AM -0500, aditya siram wrote: From my vantage point they are (in no particular order) : Reader, Writer, State, IO, ST, STM, Parsec (have I missed any?) and of course the transformer versions. I am

Re: [Haskell-cafe] Re: Haskell in Industry

2010-08-09 Thread Wouter Swierstra
Good, we need more functional programmers actually solving real problems.  But please put your skills to work in an industry other than investment banking. There are lots of companies outside of investment-banking using functional programming. Bluespec, Galois, TypLab, are all serious Haskell

Re: [Haskell-cafe] Re: Odd parallel haskell observations (some more numbers)

2010-08-09 Thread Jean-Marie Gaillourdet
Hello, I am no expert in web server tuning, but I will share my thoughts about your approach and expectations nevertheless. On 08.08.2010, at 21:07, Alexander Kotelnikov wrote: So I continue to issue thousands of HTTP GET requests to a local apache an got some ThreadScope pictures and

Re: [Haskell-cafe] Preview the new haddock look and take a short survey

2010-08-09 Thread Lars Viklund
On Wed, Aug 04, 2010 at 01:00:16AM -0400, Mark Lentczner wrote: The Haddock team has spent the last few months revamping the look of the generated output. We're pretty close to done, but we'd like to get the community's input before we put it in the main release. Please take a look, and

Re: [Haskell-cafe] Preview the new haddock look and take a short survey

2010-08-09 Thread Johan Tibell
Hi Lars, On Mon, Aug 9, 2010 at 10:23 AM, Lars Viklund z...@acc.umu.se wrote: The survey seems to be inactive, by the way. It's because Mark already posted the results. :) Cheers, Johan ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Preview the new haddock look and take a short survey

2010-08-09 Thread Simon Marlow
On 06/08/10 03:15, Jeff Zaroyko wrote: On Thu, Aug 5, 2010 at 11:48 PM, Johan Tibelljohan.tib...@gmail.com wrote: On Thu, Aug 5, 2010 at 3:35 PM, Dino Morellid...@ui3.info wrote: On Wed, 4 Aug 2010, Mark Lentczner wrote: One thing I haven't seen anyone else comment on is the width of the

Re: [Haskell-cafe] Preview the new haddock look and take a short survey

2010-08-09 Thread Johan Tibell
On Mon, Aug 9, 2010 at 10:55 AM, Simon Marlow marlo...@gmail.com wrote: The great thing about the Haddock redesign is that the content has been separated from the style. If opinions about the style are sufficiently divided we can provide a style switcher on the docs we ship with GHC, and

Re: [Haskell-cafe] Suggestions For An Intro To Monads Talk.

2010-08-09 Thread wren ng thornton
aditya siram wrote: Thanks all for you suggestions! Upon further reflection I realized that my audience is more pragmatic than theoretical. Instead of emphasizing how monads are constructed and the monad laws I think I want to dive right into the most common and useful monads. From my vantage

[Haskell-cafe] Re: gkt2hs seg fault issue

2010-08-09 Thread Andy Stewart
bri...@aracnet.com writes: On Mon, 09 Aug 2010 11:09:40 +0800 Andy Stewart lazycat.mana...@gmail.com wrote: Ivan Lazar Miljenovic ivan.miljeno...@gmail.com writes: On 9 August 2010 09:44, Andy Stewart lazycat.mana...@gmail.com wrote: Which ghc version? The Glorious Glasgow Haskell

[Haskell-cafe] Re: Please take the State of Haskell, 2010 survey

2010-08-09 Thread Johan Tibell
Hi all, On Mon, Aug 2, 2010 at 3:40 PM, Johan Tibell johan.tib...@gmail.com wrote: I've put together a quick, 9-question State of Haskell, 2010 survey: http://blog.johantibell.com/2010/08/state-of-haskell-2010-survey.html The survey will hopefully give us some insight into how people

[Haskell-cafe] Re: Odd parallel haskell observations (some more numbers)

2010-08-09 Thread Alexander Kotelnikov
Hi. On Mon, 9 Aug 2010 09:44:00 +0200 JG == Jean-Marie Gaillourdet j...@gaillourdet.net wrote: JG JG I am no expert in web server tuning, but I will share my thoughts JG about your approach and expectations nevertheless. I would better think about ghc than about web server. I believe, that

Re: [Haskell-cafe] Re: [web-devel] statically compiled css

2010-08-09 Thread Michael Snoyman
OK, I declare myself officially unable to make a decision on this one: there's just too many good options ;). I beseech the community to aid me in my plight, by taking a survey on the names available[1]. Michael [1]

[Haskell-cafe] Re: a random numbers generator with a good 'split'

2010-08-09 Thread Ertugrul Soeylemez
Hello Petr, the mersenne-random package is quite low-level and uses explicit destructive update, so it can only be used with the IO monad. Same with other fast generators like mwc-random. This is incompatible with the RandomGen and Random classes, which can only model a pure interface. About

Re: [Haskell-cafe] Re: [web-devel] statically compiled css

2010-08-09 Thread Liam O'Connor
@Michael: Have you seen the JSMacro package on hackage? I think it might be a better fit as it adds some nice syntactic goodies to JS in addition to variable interpolation. Cheers. ~Liam On 9 August 2010 22:59, Michael Snoyman mich...@snoyman.com wrote: OK, I declare myself officially unable

Re: [Haskell-cafe] Socket not released

2010-08-09 Thread Jonathan Geddes
You need to close the parent's socket in the child fork, as well as the parent - if it's inherited by the child, it's held open there, even if the parent closes it. Thanks! That did the trick. I did so by adding close_fds = True to the CreateProcess record. However the documentation of

[Haskell-cafe] Re: philosophy of Haskell

2010-08-09 Thread Ertugrul Soeylemez
jerzy.karczmarc...@info.unicaen.fr wrote: Alberto G. Corona writes: (...) Desugarize the do notation, after that, desugarize the = and operators down to the function call notation and suddenly everithing lost its magic because it becomes clear that a haskell monad is a sugarization of

Re: [Haskell-cafe] Typo or on purpose? http://haskell.org/ghc/docs/6.12.2/html/users_guide/lang-parallel.html

2010-08-09 Thread Malcolm Wallace
On 8 Aug 2010, at 20:23, Alexander Kotelnikov wrote: This + 1 in (n1 + n2 + 1) what is it doing there? import Control.Parallel nfib :: Int - Int nfib n | n = 1 = 1 | otherwise = par n1 (pseq n2 (n1 + n2 + 1)) where n1 = nfib (n-1) n2 = nfib

Re: [Haskell-cafe] Socket not released

2010-08-09 Thread Donn Cave
Quoth Jonathan Geddes geddes.jonat...@gmail.com, You need to close the parent's socket in the child fork, as well as the parent - if it's inherited by the child, it's held open there, even if the parent closes it. Thanks! That did the trick. I did so by adding close_fds = True to the

[Haskell-cafe] Re: [Haskell] ANNOUNCE: jhc 0.7.4

2010-08-09 Thread Simon Marlow
On 27/07/2010 01:54, John Meacham wrote: For each type I can statically generate an optimal layout based on its structure. For instance, maybe benefits from two of these optimizations, first of all, nullary constructors (Nothing) need never appear in the heap, so they are given values that pack

[Haskell-cafe] Re: Odd parallel haskell observations

2010-08-09 Thread Peter Wortmann
GHC seems to have a few bottlenecks once you start to really stress-test its I/O performance. Using a newer HEAD ghc actually gives less awful performance: sc...@cslin209 ~/test $ ghc --make -O2 -threaded -rtsopts get.hs [1 of 1] Compiling Main ( get.hs, get.o ) Linking get ...

Re: [Haskell-cafe] Socket not released

2010-08-09 Thread Jonathan Geddes
Only a guess, but I predict that it will work for your purposes, since you're not concerned about what happens to std_in et al. I actually am concerned about what happens to std_in. The parent process serializes a bit of state and passes it to the child via the child's std_in. There's probably

[Haskell-cafe] preparing for Haskell 2011

2010-08-09 Thread Malcolm Wallace
Dear all, Although the Haskell 2010 Language Report has only been published recently, it will soon be time for the Committee to make decisions on the next version, Haskell 2011. I am aiming for the committee to make decisions around the end of Sept or beginning of October 2010. Can I

Re: [Haskell-cafe] Suggestions For An Intro To Monads Talk.

2010-08-09 Thread aditya siram
Yes I think that showing the Maybe and List implementation of monads is essential. They're practical and in a lot of ways they represent two completely different types of computation demonstrating the flexibility of the Monad abstraction. Thanks for that suggestion. -deech On Mon, Aug 9, 2010 at

Re: [Haskell-cafe] Re: Haskell in Industry

2010-08-09 Thread Jonathan Geddes
Yes.  I find that out of 10 people I train, only about 2 pick it up and run with it.  I'm starting to believe you are either wired for functional programming, or you're not. Couldn't agree more. This is the usual conclusion I arrive at when I find myself wondering why so many very intelligent

Re: [Haskell-cafe] Re: Haskell in Industry

2010-08-09 Thread Tom Hawkins
Good, we need more functional programmers actually solving real problems.  But please put your skills to work in an industry other than investment banking. I've received a lot mail on this comment; mostly positive. Here's one from someone who wishes to remain anonymous: First of all I would

Re: [Haskell-cafe] Re: Haskell in Industry

2010-08-09 Thread Lennart Augustsson
Out of 10 people trained only 2 should do programming anyway. :) On Fri, Aug 6, 2010 at 4:58 AM, Tom Hawkins tomahawk...@gmail.com wrote: Hi Eil, Have you had any trouble training people to use Haskell? Yes.  I find that out of 10 people I train, only about 2 pick it up and run with it.  I'm

Re: [Haskell-cafe] Re: Haskell in Industry

2010-08-09 Thread Lennart Augustsson
But do you think there would be more Haskell jobs offered (in absolute terms), if no investment firms offered jobs? Is there some kind of quota of job offers that gets used up? There seems to be more job applicants that job offers at the moment, so I'm not sure what the problem is. On Mon, Aug

Re: [Haskell-cafe] Re: Odd parallel haskell observations (some more numbers)

2010-08-09 Thread Don Stewart
sacha: Hi. On Mon, 9 Aug 2010 09:44:00 +0200 JG == Jean-Marie Gaillourdet j...@gaillourdet.net wrote: JG JG I am no expert in web server tuning, but I will share my thoughts JG about your approach and expectations nevertheless. I would better think about ghc than about web server. I

Re: [Haskell-cafe] Re: Haskell in Industry

2010-08-09 Thread Tom Hawkins
On Mon, Aug 9, 2010 at 12:06 PM, Lennart Augustsson lenn...@augustsson.net wrote: But do you think there would be more Haskell jobs offered (in absolute terms), if no investment firms offered jobs? Is there some kind of quota of job offers that gets used up? No and no. Again, I think it's

Re: [Haskell-cafe] Re: Haskell in Industry

2010-08-09 Thread aditya siram
Yes. I find that out of 10 people I train, only about 2 pick it up and run with it. I'm starting to believe you are either wired for functional programming, or you're not. I disagree that only certain brains are wired for FP. I think your experience can be explained by people's inability

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: jhc 0.7.4

2010-08-09 Thread Jinjing Wang
I think the default locale of the terminal app on snow leopard is utf-8. I can also report that I have no problem compiling the tar version of jhc 0.7.4 on snow leopard 10.6.4 using ghc 6.12.1, need to install the editline package though. On Sun, Jul 11, 2010 at 5:33 AM, John Meacham

[Haskell-cafe] Chez What

2010-08-09 Thread Jeff Rubard
Haskell CURRY? Curried potatoes? The lambda calculus? Historical actuality? SI! ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Chez What

2010-08-09 Thread Warren Henning
On Mon, Aug 9, 2010 at 11:47 AM, Jeff Rubard jeffrub...@gmail.com wrote: Haskell CURRY? Curried potatoes? The lambda calculus? Historical actuality? SI! lol wat ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

[Haskell-cafe] More Flexible Monad Transformer OR Bad Coding Style

2010-08-09 Thread aditya siram
Hi all, I was experimenting with monad transformers and realized that the stacking order of the monads can remain unknown until it is used. Take for example the following code: import mtl Control.Monad.State import mtl Control.Monad.Writer import mtl Control.Monad.Identity test :: (MonadWriter

Re: [Haskell-cafe] Can we come out of a monad?

2010-08-09 Thread John Lato
From: Alexey Khudyakov alexey.sklad...@gmail.com On Fri, 30 Jul 2010 09:29:59 +0200 Stefan Holdermans ste...@vectorfabrics.com wrote: No I think here we breaking out from _arbitrary_ monad. If monadic function works for every monad then it must work for identity monad too. Here is

Re: [Haskell-cafe] More Flexible Monad Transformer OR Bad Coding Style

2010-08-09 Thread Edward Z. Yang
Excerpts from aditya siram's message of Mon Aug 09 15:05:14 -0400 2010: Until test is called in 'main' we don't know the order of monads. In fact even the base monad is not know. All we know is that it uses the State and Writer monad. In each call to 'test' in main we can determine the stacking

Re: [Haskell-cafe] More Flexible Monad Transformer OR Bad Coding Style

2010-08-09 Thread Gábor Lehel
Actually, while I haven't even used monad transformers before (just read about them a lot), I was thinking that something like this might be the way to solve the lift . lift . lift . lift . foo problem on the one hand, and by wrapping the 'contents' (e.g. the environment of a reader monad) of

Re: [Haskell-cafe] More Flexible Monad Transformer OR Bad Coding Style

2010-08-09 Thread Job Vranish
For monads like StateT, WriterT, ReaderT, the order doesn't matter (except perhaps for some pesky performance details). However, for monad transformers like ErrorT or ListT, the order _does_ matter. The code you have there is perfectly fine, sometimes the added generality can be quite handy

Re: [Haskell-cafe] More Flexible Monad Transformer OR Bad Coding Style

2010-08-09 Thread Edward Z. Yang
Excerpts from Gábor Lehel's message of Mon Aug 09 15:39:49 -0400 2010: Actually, while I haven't even used monad transformers before (just read about them a lot), I was thinking that something like this might be the way to solve the lift . lift . lift . lift . foo problem on the one hand, and

Re: [Haskell-cafe] Can we come out of a monad?

2010-08-09 Thread Daniel Fischer
On Monday 09 August 2010 21:19:01, John Lato wrote: I don't find purify2 particularly helpful because I almost never want to break out of any arbitrary monad; I want to be able to break out of a specific monad without knowing which monad it is, that is: purify3 :: Monad m = m a - a purify3

[Haskell-cafe] Some Haskell mode extensions

2010-08-09 Thread Christopher Done
Hi there, I've written some very simple Emacs modules for making using Haskell in Emacs a little bit nicer: http://github.com/chrisdone/haskell-mode-exts You can download the project with git, or pick and choose individual files:

Re: [Haskell-cafe] More Flexible Monad Transformer OR Bad Coding Style

2010-08-09 Thread Gábor Lehel
2010/8/9 Edward Z. Yang ezy...@mit.edu: Excerpts from Gábor Lehel's message of Mon Aug 09 15:39:49 -0400 2010: Actually, while I haven't even used monad transformers before (just read about them a lot), I was thinking that something like this might be the way to solve the lift . lift . lift .

Re: [Haskell-cafe] More Flexible Monad Transformer OR Bad Coding Style

2010-08-09 Thread Gregory Crosswhite
I've never used this myself, but the package mtlx seems to offer one possible solution to this problem by tagging the monad transformers with index types: http://hackage.haskell.org/package/mtlx Cheers, Greg On 08/09/10 12:39, Gábor Lehel wrote: Actually, while I haven't even used monad

Re: [Haskell-cafe] More Flexible Monad Transformer OR Bad Coding Style

2010-08-09 Thread C. McCann
On Mon, Aug 9, 2010 at 3:42 PM, Job Vranish job.vran...@gmail.com wrote: For monads like StateT, WriterT, ReaderT, the order doesn't matter (except perhaps for some pesky performance details). However, for monad transformers like ErrorT or ListT, the order _does_ matter. Is it really correct

[Haskell-cafe] zip-archive performance/memmory usage

2010-08-09 Thread Pieter Laeremans
Hello, I'm trying some haskell scripting. I'm writing a script to print some information from a zip archive. The zip-archive library does look nice but the performance of zip-archive/lazy bytestring doesn't seem to scale. Executing : eRelativePath $ head $ zEntries archive on an archive of

Re: [Haskell-cafe] zip-archive performance/memmory usage

2010-08-09 Thread Ivan Lazar Miljenovic
On 10 August 2010 09:29, Pieter Laeremans pie...@laeremans.org wrote: Hello, I'm trying some haskell scripting. I'm writing a script to print some information from a zip archive.  The zip-archive library does look nice but the performance of zip-archive/lazy bytestring doesn't seem to

Re: [Haskell-cafe] Can we come out of a monad?

2010-08-09 Thread Luke Palmer
On Mon, Aug 9, 2010 at 1:19 PM, John Lato jwl...@gmail.com wrote: I don't find purify2 particularly helpful because I almost never want to break out of any arbitrary monad; I want to be able to break out of a specific monad without knowing which monad it is, that is: purify3 :: Monad m = m a

Re: [Haskell-cafe] Can we come out of a monad?

2010-08-09 Thread Edward Z. Yang
Excerpts from Luke Palmer's message of Tue Aug 10 01:04:04 -0400 2010: Except, of course, you want the signature evalCont :: Cont r a - a Which is not possible. But I am not sure where all this discussion is coming from, Maybe and (r -) cannot be broken out of. Isn't that example

[Haskell-cafe] [ANNOUNCE] (and request for review): directory-tree v0.9.0

2010-08-09 Thread Brandon Simmons
Greetings Haskellers! directory-tree is a module providing a directory-tree-like datatype along with Foldable and Traversable instances, along with a simple, high-level IO interface. You can see the package along with some examples here (apologies if the haddock docs haven't been generated yet) :