Re: [Haskell-cafe] Message

2011-11-04 Thread David Leimbach
On Thu, Nov 3, 2011 at 9:09 PM, Ryan Newton rrnew...@gmail.com wrote: I have interfaced Erlang and Haskell... And delivered it as a product. I just came up with a dead-simple text based communication syntax from Erlang to Haskell that was very easily testable. It allowed for complete

Re: [Haskell-cafe] Message

2011-10-21 Thread David Leimbach
On Fri, Oct 21, 2011 at 8:02 AM, Yves Parès limestr...@gmail.com wrote: That's interesting, have you ever worked on interfacing Erlang with Haskell? I have interfaced Erlang and Haskell... And delivered it as a product. I just came up with a dead-simple text based communication syntax from

Re: [Haskell-cafe] *GROUP HUG*

2011-06-02 Thread David Leimbach
I got hired at a company because one of the interviewers was impressed that I taught myself Haskell. I basically never use it at work, but I did in my old job. Dave On Thu, Jun 2, 2011 at 2:23 PM, Michael Litchard mich...@schmong.orgwrote: I disagree. I'm by no means proficient in Haskell.

Re: [Haskell-cafe] The Lisp Curse

2011-05-19 Thread David Leimbach
See the Haskell Platform. Sent from my iPhone On May 19, 2011, at 1:56 PM, Andrew Coppin andrewcop...@btinternet.com wrote: On 19/05/2011 09:34 PM, vagif.ve...@gmail.com wrote: Andrew, you are being non constructive. It seems I'm being misunderstood. Some people seem to hold the

Re: [Haskell-cafe] Why not Darcs?

2011-04-21 Thread David Leimbach
Codehole doesn't sound like a good name. Don't lose stuff in codehole! Sent from my iPhone On Apr 21, 2011, at 7:33 PM, Simon Michael si...@joyful.com wrote: +1 to what you said. On 4/21/11 4:16 PM, John Meacham wrote: Incidentally, I wrote a github like site based around darcs a few

Re: [Haskell-cafe] ANNOUNCE: enumerator 0.4.8

2011-03-28 Thread David Leimbach
On Mon, Mar 28, 2011 at 8:06 AM, John Millikin jmilli...@gmail.com wrote: On Sunday, March 27, 2011 9:45:23 PM UTC-7, Ertugrul Soeylemez wrote: For setting a global timeout on an entire session, it's better to wrap the ``run_`` call with ``System.Timeout.timeout`` -- this is more

Re: [Haskell-cafe] unregisterised plan9 port

2011-03-21 Thread David Leimbach
I'd also love to see GHC on Plan 9. I don't have a lot of time to contribute to such an effort really though I do wish you well! On Mon, Mar 21, 2011 at 1:20 AM, * midbr...@gmail.com wrote: Hi there. I am trying to get an unregisterised build of ghc 7.0.2 working and am having problems

Re: [Haskell-cafe] iteratee-compress space leak?

2011-02-22 Thread David Leimbach
Sent from my iPhone On Feb 22, 2011, at 5:03 AM, John Lato jwl...@gmail.com wrote: 2011/2/22 Michael A Baikov pa...@bk.ru -Original Message- Hi Maciej, Thanks for looking in to this. After looking into problem (or rather onto your code) - the problem have nothing to

Re: [Haskell-cafe] forkIO on GHCI does not seem to spawn the thread in the background on some OSs

2011-02-09 Thread David Leimbach
On Tuesday, February 8, 2011, C K Kashyap ckkash...@gmail.com wrote: I can't reproduce this. What are you using as the action? I've tried bottoms, and tight loops whose Core contains no allocations, and not managed to lock up the prompt, or seen ghci using more threads than I have cores.

Re: [Haskell-cafe] forkIO on GHCI does not seem to spawn the thread in the background on some OSs

2011-02-09 Thread David Leimbach
It is not always a thread. ForkIO creates a spark and then the scheduler decides when sparks should be scheduled to threads. Thus you get a guarantee of concurrent but not parallel execution. That is not correct - it is par that creates sparks may be discarded. I guess I should have

Re: [Haskell-cafe] forkIO on GHCI does not seem to spawn the thread in the background on some OSs

2011-02-08 Thread David Leimbach
On Monday, February 7, 2011, C K Kashyap ckkash...@gmail.com wrote: Hi,I found that on windows and my ubuntu box, when I did this ghci t - forkIO someAction someAction started executing in the foreground - as in, the ghci prompt did not come back (until I pressed Ctrl-C) On my mac however,

Re: [Haskell-cafe] GPL License of H-Matrix and prelude numeric

2011-01-25 Thread David Leimbach
On Tue, Jan 25, 2011 at 8:53 PM, John Millikin jmilli...@gmail.com wrote: On Tue, Jan 25, 2011 at 18:55, Chris Smith cdsm...@gmail.com wrote: Licensing with the GPL has definite consequences; for example, that the great majority of Haskell libraries, which are BSD3 licensed, may not

Re: [Haskell-cafe] Reader monad

2010-12-29 Thread David Leimbach
On Wed, Dec 29, 2010 at 1:48 PM, Michael Lazarev lazarev.mich...@gmail.comwrote: 2010/12/29 michael rice nowg...@yahoo.com I had an Aha! moment and it all makes sense now. Just as the State monad can hold a generator (which can change) and pass it down a calculation chain, a Reader monad can

Re: [Haskell-cafe] ANNOUNCE: yackage 0.0.0

2010-12-27 Thread David Leimbach
This is very interesting. I was thinking if this could work like an overlayed namespace on top of Hackage, rather than a complete override, that it would be a very interesting way to fork Hackage so it does what you want, transparently, and as a proxy. Is that actually how it works though? (It

Re: [Haskell-cafe] Why is Haskell flagging this?

2010-12-18 Thread David Leimbach
On Fri, Dec 17, 2010 at 9:04 AM, michael rice nowg...@yahoo.com wrote: I don't understand this error message. Haskell appears not to understand that 1 is a Num. Prelude :t 1 1 :: (Num t) = t Prelude :t [1,2,3,4,5] [1,2,3,4,5] :: (Num t) = [t] Prelude Michael === f ::

Re: [Haskell-cafe] Why is Haskell flagging this?

2010-12-18 Thread David Leimbach
No problem. Haskell is a different animal than even other functional languages in my experience, and it takes time to get used to the coolness in the type system, the lazy evaluation, the point free style, functional composition and all the other interesting techniques you now have at your

Re: [Haskell-cafe] Re: Manatee - The Haskell/Gtk+ Integrated Live Environment first version release!

2010-11-12 Thread David Leimbach
On Thu, Nov 11, 2010 at 9:07 PM, Andy Stewart lazycat.mana...@gmail.comwrote: David Leimbach leim...@gmail.com writes: Wow! Is this just for Linux or is anyone able to run it on Mac OS X? I don't know whether can work on Mac. I design it for Linux. Fair enough, it's a great

Re: [Haskell-cafe] Re: Manatee - The Haskell/Gtk+ Integrated Live Environment first version release!

2010-11-11 Thread David Leimbach
Wow! Is this just for Linux or is anyone able to run it on Mac OS X? Dave On Thu, Nov 11, 2010 at 7:51 PM, Andy Stewart lazycat.mana...@gmail.comwrote: My project want to provide a fact: Haskell not just can do GUI environment, and can do better! Gtk2hs + Haskell Threads is awesome!

Re: [Haskell-cafe] ANN: fountain-0.0.0

2010-10-20 Thread David Leimbach
2 things. 1. Wow that's cool. 2. Is this technology not patented by Digital Fountain? (now Qualcomm?) I remember when I first heard of fountain codecs, I thought it was science fiction based on the description :-). Dave On Tue, Oct 19, 2010 at 8:00 PM, Tom Hawkins tomahawk...@gmail.com

Re: [Haskell-cafe] Re: Cleaning up threads

2010-09-14 Thread David Leimbach
On Tue, Sep 14, 2010 at 11:29 AM, Bryan O'Sullivan b...@serpentine.comwrote: On Tue, Sep 14, 2010 at 11:21 AM, Edward Z. Yang ezy...@mit.edu wrote: Pure code can always be safely asynchronously interrupted (even code using state like the ST monad), and IO code can be made to interact

[Haskell-cafe] recommendations for reading list?

2010-09-08 Thread David Leimbach
In my amazon shopping cart I currently have: *Conceptual Mathematics: A First Introduction to Categorieshttp://www.amazon.com/gp/product/052171916X/ref=ord_cart_shr?ie=UTF8m=ATVPDKIKX0DER *- F. William Lawvere *Categories for the Working Mathematician (Graduate Texts in

Re: [Haskell-cafe] recommendations for reading list?

2010-09-08 Thread David Leimbach
Thank you for this suggestion. I do have this book. I found it to be a little lacking in some areas in that it felt like I was reading a student's lecture notes, not the professor's. At some point, I'm left with questions that there's no one around to answer :-). This is why I'm trying to go

Re: [Haskell-cafe] recommendations for reading list?

2010-09-08 Thread David Leimbach
2010/9/8 Benedict Eastaugh ionf...@gmail.com 2010/9/9 Николай Кудасов crazy.fiz...@gmail.com: Consider this book: Basic Category Theory for Computer Scientists (Foundations of Computing) -- Benjamin C.Pierce Hi David, Николай Кудасов is quite right--Pierce's book is excellent. Apart

Re: [Haskell-cafe] Re: Hackage on Linux

2010-08-26 Thread David Leimbach
On Thu, Aug 26, 2010 at 5:02 AM, Don Stewart d...@galois.com wrote: marlowsd: If you look at the original Cabal design document[1], you'll see that one of the goals of Cabal was to be the glue that lets you convert an arbitrary Haskell library into a native package for a variety of systems

Re: [Haskell-cafe] Re: Hackage on Linux

2010-08-26 Thread David Leimbach
On Thu, Aug 26, 2010 at 11:11 AM, Brandon S Allbery KF8NH allb...@ece.cmu.edu wrote: -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 8/26/10 10:23 , David Leimbach wrote: Go, for example, has no shared libraries, and the runtime fits in every binary. It does not even depend on libc

Re: [Haskell-cafe] can Haskell do everyting as we want?

2010-08-04 Thread David Leimbach
On Wed, Aug 4, 2010 at 3:16 AM, Alberto G. Corona agocor...@gmail.comwrote: Just to clarify, I mean: Haskell may be seriously addictive. Sounds like a joke, but it is not. I do not recommend it for coding something quick and dirty. I use it for quick and dirty stuff all the time, mainly

Re: [Haskell-cafe] Re: Microsoft's Singularity Project and Haskell

2010-07-31 Thread David Leimbach
Haskell's great and all but it does have a few warts when it comes to how much real trust one should put into the type system. Some compromises still exist like unsafePerformIO that you can't detect simply by looking at the types of functions. In order to live up to the hype and the marketing

Re: [Haskell-cafe] Actors and message-passing a la Erlang

2010-07-27 Thread David Leimbach
On Tue, Jul 27, 2010 at 5:27 AM, Stefan Schmidt stefanschmid...@googlemail.com wrote: Hi Yves, You say that With the help of this library it is possible to build Erlang-Style mailboxes, but how would you solve the issue of static typing? this wasn't an issue for me because I wanted as

Re: [Haskell-cafe] A question about State Monad and Monad in general

2010-07-15 Thread David Leimbach
On Thu, Jul 15, 2010 at 9:02 AM, C K Kashyap ckkash...@gmail.com wrote: Hi, I looked at State Monad yesterday and this question popped into my mind. From what I gather State Monad essentially allows the use of Haskell's do notation to invisibly pass around a state. So, does the use of Monadic

Re: [Haskell-cafe] A question about State Monad and Monad in general

2010-07-15 Thread David Leimbach
computation. Dave On Thu, Jul 15, 2010 at 10:48 PM, David Leimbach leim...@gmail.comwrote: On Thu, Jul 15, 2010 at 9:02 AM, C K Kashyap ckkash...@gmail.com wrote: Hi, I looked at State Monad yesterday and this question popped into my mind. From what I gather State Monad essentially allows

Re: [Haskell-cafe] What is Haskell unsuitable for?

2010-06-17 Thread David Leimbach
On Thu, Jun 17, 2010 at 11:57 AM, Darrin Chandler dwchand...@stilyagin.comwrote: On Thu, Jun 17, 2010 at 01:38:23PM -0500, aditya siram wrote: Judging by the other thread, getting hired might be a valid answer here... No argument there - I'm even afraid to stick it on my resume. At

Re: [Haskell-cafe] Language Shootout reverse-complement benchmark

2010-06-01 Thread David Leimbach
I'm still trying to figure out what the point of the shootout really is. If there's no dedicated folks working with a language there, trying to make things run faster, a language will come out looking inefficient potentially. There's a lot of compile flags and optimizations that can make a

Re: [Haskell-cafe] Wait forever in main thread

2010-05-18 Thread David Leimbach
On Tue, May 18, 2010 at 7:08 AM, John Millikin jmilli...@gmail.com wrote: On Mon, May 17, 2010 at 19:41, David Leimbach leim...@gmail.com wrote: Is there not a way to multiplex the signal handlers into one thread, and then dispatch new threads to do the work when events that require

Re: [Haskell-cafe] Wait forever in main thread

2010-05-18 Thread David Leimbach
On Tue, May 18, 2010 at 8:06 AM, David Leimbach leim...@gmail.com wrote: On Tue, May 18, 2010 at 7:08 AM, John Millikin jmilli...@gmail.comwrote: On Mon, May 17, 2010 at 19:41, David Leimbach leim...@gmail.com wrote: Is there not a way to multiplex the signal handlers into one thread

Re: [Haskell-cafe] Wait forever in main thread

2010-05-17 Thread David Leimbach
On Mon, May 17, 2010 at 10:04 AM, DPX-Infinity dpx.infin...@gmail.comwrote: Hi, I'm writing a program which listens to some D-Bus signals using DBus.Client.onSignal function from dbus-client package. This function runs IO action in separate haskell thread when signal is received. My program

Re: [Haskell-cafe] Wait forever in main thread

2010-05-17 Thread David Leimbach
in that. On Mon, May 17, 2010 at 11:07, David Leimbach leim...@gmail.com wrote: You could ask yourself why you need a child thread if the main thread doesn't do anything else. I presume you're at a step in the development of something larger and that you'll eventually have a use

Re: [Haskell-cafe] [reactive] A pong and integrate

2010-05-15 Thread David Leimbach
On Sat, May 15, 2010 at 8:42 AM, Limestraël limestr...@gmail.com wrote: Okay, guess I'll have to bring out the chapter 25 of my Real World Haskell... I find it's often the most practical chapter that I hit a lot during writes and changes to my server process I have in Haskell in our control

Re: [Haskell-cafe] ANN: Monad.Reader Issue 16

2010-05-12 Thread David Leimbach
On Wed, May 12, 2010 at 7:24 PM, Edward Z. Yang ezy...@mit.edu wrote: Excerpts from Brent Yorgey's message of Wed May 12 14:12:53 -0400 2010: I am very pleased to announce that Issue 16 of The Monad.Reader is now available [1]. Excellent news! Looking forward to reading. I'm trying the

Re: [Haskell-cafe] Location of library documentation with 6.12.1?

2010-05-01 Thread David Leimbach
Those libraries are not distributed with the compiler. Use either The Haskell Platform, or hackage to get those packages. On Saturday, May 1, 2010, Roly Perera roly.per...@dynamicaspects.org wrote: Hi, I've just upgraded from 6.10.1 to 6.12.1 and can't seem to find all the library

Re: [Haskell-cafe] The instability of Haskell libraries

2010-04-23 Thread David Leimbach
On Fri, Apr 23, 2010 at 12:17 PM, John Goerzen jgoer...@complete.orgwrote: Don Stewart wrote: I'll just quickly mention one factor that contributes: * In 2.5 years we've gone from 10 libraries on Hackage to 2023 (literally!) That is a massive API to try to manage, hence the continuing

Re: [Haskell-cafe] Re: Haskellers hate GUIs!!

2010-04-02 Thread David Leimbach
Never been a fan of GTK myself, but that's because I was a KDE developer I guess :-). Having said that, are there any plans to make it really easy to get gtk2hs working on Mac OS X? Dave On Fri, Apr 2, 2010 at 6:34 AM, Andy Stewart lazycat.mana...@gmail.comwrote: Hi Jürgen, For GHC-6.12,

Re: [Haskell-cafe] Re: Haskellers hate GUIs!!

2010-04-02 Thread David Leimbach
On Fri, Apr 2, 2010 at 10:31 AM, Anthony Cowley acow...@seas.upenn.eduwrote: On Fri, Apr 2, 2010 at 12:53 PM, Dominic Espinosa dces...@fastmail.fm wrote: Is there a general strategy for deploying Haskell apps, graphical or no, to MacOS X and/or Windows? I'm especially interested in cases

[Haskell-cafe] Do I need to roll my own?

2010-03-31 Thread David Leimbach
I'm looking at iteratee as a way to replace my erroneous and really inefficient lazy-IO-based backend for an expect like Monad DSL I've been working for about 6 months or so now on and off. The problem is I want something like: expect some String send some response to block or perhaps timeout,

[Haskell-cafe] Re: iteratee: Do I need to roll my own?

2010-03-31 Thread David Leimbach
First thanks for the reply, On Wed, Mar 31, 2010 at 11:15 AM, Valery V. Vorotyntsev valery...@gmail.com wrote: I'm looking at iteratee as a way to replace my erroneous and really inefficient lazy-IO-based backend for an expect like Monad DSL I've been working for about 6 months or so now

Re: [Haskell-cafe] Do I need to roll my own?

2010-03-31 Thread David Leimbach
On Wed, Mar 31, 2010 at 12:02 PM, Gregory Collins g...@gregorycollins.netwrote: David Leimbach leim...@gmail.com writes: to block or perhaps timeout, depending on the environment, looking for some String on an input Handle, and it appears that iteratee works in a very fixed block size

Re: [Haskell-cafe] Do I need to roll my own?

2010-03-31 Thread David Leimbach
On Wed, Mar 31, 2010 at 12:24 PM, David Leimbach leim...@gmail.com wrote: On Wed, Mar 31, 2010 at 12:02 PM, Gregory Collins g...@gregorycollins.net wrote: David Leimbach leim...@gmail.com writes: to block or perhaps timeout, depending on the environment, looking for some String

[Haskell-cafe] Re: Do I need to roll my own?

2010-03-31 Thread David Leimbach
On Wed, Mar 31, 2010 at 2:12 PM, John Lato jwl...@gmail.com wrote: Hi Dave, From: David Leimbach leim...@gmail.com I'm looking at iteratee as a way to replace my erroneous and really inefficient lazy-IO-based backend for an expect like Monad DSL I've been working for about 6 months

Re: [Haskell-cafe] Are there any female Haskellers?

2010-03-30 Thread David Leimbach
On Tue, Mar 30, 2010 at 4:13 AM, Alberto G. Corona agocor...@gmail.comwrote: . 2010/3/29 Jason Dusek jason.du...@gmail.com 2010/03/29 Alberto G. Corona agocor...@gmail.com: [...] What we evolved with is a general hability: to play with things to achieve what we need from them, (besides

[Haskell-cafe] Timeouts that don't cause data growth.

2010-03-23 Thread David Leimbach
Trying to understand why the code here: http://moonpatio.com/fastcgi/hpaste.fcgi/view?id=8823#a8823 exhausts memory. I need to have timeouts in a program I'm writing that will run an interactive polling session of some remote resources, and know when to give up and handle that error.

Re: [Haskell-cafe] Timeouts that don't cause data growth.

2010-03-23 Thread David Leimbach
Is this just a problem of spawning too many forkIO resources that never produce a result? I was thinking of trying something like the following in System.Timeout's place: module Main where import Control.Concurrent.MVar import Control.Concurrent import Data.Maybe timeout :: Int - IO a -

Re: [Haskell-cafe] Timeouts that don't cause data growth.

2010-03-23 Thread David Leimbach
Actually this isn't good enough either as I'm potentially leaving the action thread in a state where it never times out... I guess I have to do all thread killing in the main thread. On Tue, Mar 23, 2010 at 12:23 PM, David Leimbach leim...@gmail.com wrote: Is this just a problem of spawning

Re: [Haskell-cafe] Timeouts that don't cause data growth.

2010-03-23 Thread David Leimbach
On Tue, Mar 23, 2010 at 1:02 PM, Bas van Dijk v.dijk@gmail.com wrote: On Tue, Mar 23, 2010 at 8:23 PM, David Leimbach leim...@gmail.com wrote: Is this just a problem of spawning too many forkIO resources that never produce a result? It looks like it. Lets look at the implementation

Re: [Haskell-cafe] Timeouts that don't cause data growth.

2010-03-23 Thread David Leimbach
On Tue, Mar 23, 2010 at 1:06 PM, David Leimbach leim...@gmail.com wrote: On Tue, Mar 23, 2010 at 1:02 PM, Bas van Dijk v.dijk@gmail.comwrote: On Tue, Mar 23, 2010 at 8:23 PM, David Leimbach leim...@gmail.com wrote: Is this just a problem of spawning too many forkIO resources

[Haskell-cafe] Re: Timeouts that don't cause data growth.

2010-03-23 Thread David Leimbach
cut The leak is caused by the Data.Unique library, and coincidentally it was fixed recently. 6.12.2 will have the fix. That's great! Thanks! I can get by with what I've got for now as a replacement. Cheers, Simon ___ Haskell-Cafe

Re: [Haskell-cafe] Re: Timeouts that don't cause data growth.

2010-03-23 Thread David Leimbach
On Tue, Mar 23, 2010 at 4:04 PM, Bas van Dijk v.dijk@gmail.com wrote: On Tue, Mar 23, 2010 at 10:20 PM, Simon Marlow marlo...@gmail.com wrote: The leak is caused by the Data.Unique library, and coincidentally it was fixed recently. 6.12.2 will have the fix. Oh yes of course, I've

Re: [Haskell-cafe] Bytestrings and [Char]

2010-03-22 Thread David Leimbach
On Mon, Mar 22, 2010 at 6:10 AM, Johan Tibell johan.tib...@gmail.comwrote: On Mon, Mar 22, 2010 at 1:16 PM, Johann Höchtl johann.hoec...@gmail.com wrote: My question or discussion point: Why not depreciate [Char] altogether and favour of lazy Bytestrings? A sequence of bytes is not the

Re: [Haskell-cafe] ANNOUNCE: attoparsec-iteratee v0.1

2010-03-13 Thread David Leimbach
Sounds pretty good and applicable to a system I've been trying to implement. I've been trying to understand Iteratee, and it seems like a way of fusing some of the parsing with some of the IO in a fairly safe way. Is this a correct way to think of it? Dave On Fri, Mar 12, 2010 at 6:25 PM,

Re: [Haskell-cafe] Space leak

2010-03-13 Thread David Leimbach
On Sat, Mar 13, 2010 at 3:58 PM, Arnoldo Muller arnoldomul...@gmail.comwrote: Jason, I am trying to use haskell in the analysis of bio data. One of the main reasons I wanted to use haskell is because lazy I/O allows you to see a large bio-sequence as if it was a string in memory. In order

Re: [Haskell-cafe] definition of sum

2010-03-11 Thread David Leimbach
However, with optimisations turned on... GHC knows that sum is actually strict GHC does that when optimizations are turned on, but that behavior is not required by the Haskell standard. So there is no guarantee that any given compiler will produce usable output if you use foldl

Re: [Haskell-cafe] Re: GPL answers from the SFLC (WAS: Re: ANN: hakyll-0.1)

2010-03-06 Thread David Leimbach
2010/3/5 Maurí­cio CA mauricio.antu...@gmail.com To my knowledge, the LGPL only allows *linking* with non-(L)GPL software. But GHC doesn't just link but performs massive cross-module inlining. So in my opinion, LGPL is not a solution, too. Use BSD3! But that massive cross-module

Re: [Haskell-cafe] GPL answers from the SFLC (WAS: Re: ANN: hakyll-0.1)

2010-03-05 Thread David Leimbach
On Fri, Mar 5, 2010 at 2:19 AM, Stephen Tetley stephen.tet...@gmail.comwrote: On 5 March 2010 09:53, Magnus Therning mag...@therning.org wrote: Now I'm even more confused. How is hosting on Hackage an issue in [1]? Hi Magnus The issue arouse when Tom Tobin spotted Hackage was hosting

Re: [Haskell-cafe] GPL answers from the SFLC (WAS: Re: ANN: hakyll-0.1)

2010-03-05 Thread David Leimbach
As always I'm still not a lawyer, so this is not legal advice... but here's how I think it works. If you need to talk to a lawyer to get this cleared up, do it. On Fri, Mar 5, 2010 at 2:30 AM, Malcolm Wallace malcolm.wall...@cs.york.ac.uk wrote: On 5 March 2010 09:53, Magnus Therning

Re: [Haskell-cafe] Books for advanced Haskell

2010-03-05 Thread David Leimbach
On Thu, Mar 4, 2010 at 7:11 PM, Richard O'Keefe o...@cs.otago.ac.nz wrote: I assumed that CBL meant Call By Location Commercial Brewer's License? I think it's about beer! ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Books for advanced Haskell

2010-03-04 Thread David Leimbach
2010/3/4 Matthias Görgens matthias.goerg...@googlemail.com A shining example are Dan Piponis blog posts. Not his fault, mind. All I see is that there is something powerful. I also notice that the big brains construct monads in many different ways and thus giving them entirely different

Re: [Haskell-cafe] Books for advanced Haskell

2010-03-01 Thread David Leimbach
I don't think a Haskell-monad book would be terribly interesting. A book on taking the pieces of category theory, with a little bit more of the math, to apply to Haskell would be greatly interesting to me. Also a book on learning what to look for for measuring Haskell performance in space and

Re: [Haskell-cafe] Multiple Interpretations for a monad?

2010-02-25 Thread David Leimbach
Monads aren't necessarily EDSLs by themselves but are often shipped with functions that provide what would make them an EDSL. Take the State monad, it has at least a get and a put function to work with the state in the monad. That get and put are commands that function only within the domain of

[Haskell-cafe] haddock installation weirdness?

2010-02-25 Thread David Leimbach
I'm on Mac OS X Snow Leopard, and can't get haddock installed due to the following error: Resolving dependencies... Configuring haddock-2.6.0... Warning: This package indirectly depends on multiple versions of the same package. This is highly likely to cause a compile failure. package

[Haskell-cafe] Re: haddock installation weirdness?

2010-02-25 Thread David Leimbach
This might be heavy handed but I think I just got over this by clobbering my .ghc directory and redoing cabal install haddock Dave On Thu, Feb 25, 2010 at 7:23 PM, David Leimbach leim...@gmail.com wrote: I'm on Mac OS X Snow Leopard, and can't get haddock installed due to the following error

Re: [Haskell-cafe] How many Haskell Engineer I/II/IIIs are there?

2010-02-10 Thread David Leimbach
Using it at the day job currently... like I need to get back to it. On Wed, Feb 10, 2010 at 8:22 AM, John Van Enk vane...@gmail.com wrote: Not using it yet, but there's been a large amount of interest and willingness to work with it from management. We're contractors, so it depends on us

[Haskell-cafe] safe lazy IO or Iteratee?

2010-02-04 Thread David Leimbach
Hi everyone, This is not an attempt to start a flame war. I'm just trying to get a good feel for the advantages and disadvantages of the newer safe lazy io lib available on Hackage vs using Iteratee. It does appear to me that using something like Itereatee gives a bit of room to really tweak

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

2010-02-04 Thread David Leimbach
/Iteratee/IterateeM.hs , search for Drawbacks of this encoding [6] http://stackoverflow.com/questions/1319705/introduction-or-simple-examples-for-iteratee On Thu, Feb 4, 2010 at 08:29, David Leimbach leim...@gmail.com wrote: Hi everyone, This is not an attempt to start a flame war. I'm just

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

2010-02-04 Thread David Leimbach
On Thu, Feb 4, 2010 at 1:26 PM, Bulat Ziganshin bulat.zigans...@gmail.comwrote: Hello John, Thursday, February 4, 2010, 11:51:59 PM, you wrote: tl;dr: Lots of smart people, with a history of being right about this sort of thing, say iteratees are better. Evidence suggests iteratee-based

Re: [Haskell-cafe] Game of life in haskell.

2010-02-02 Thread David Leimbach
On Tue, Feb 2, 2010 at 11:54 AM, Jon Harrop j...@ffconsultancy.com wrote: On Tuesday 02 February 2010 18:23:59 Serguey Zefirov wrote: 2010/2/2 Jon Harrop j...@ffconsultancy.com: On Tuesday 02 February 2010 16:10:05 Serguey Zefirov wrote: Actually, your solution with arrays is the most

Re: [Haskell-cafe] Game of life in haskell.

2010-02-02 Thread David Leimbach
On Tue, Feb 2, 2010 at 7:33 PM, Gregory Crosswhite gcr...@phys.washington.edu wrote: On Feb 2, 2010, at 7:11 PM, Jon Harrop wrote: I doubt programming paradigms live or die according to whether or not they can implement Conway's Game of Life simply and efficiently. This makes an awesome

Re: [Haskell-cafe] space leaks and optimizations

2010-01-08 Thread David Leimbach
2) While each step is predictable, the overall behavior of a lazy program can be rather surprising. So one must be very careful. GHC provides two ways to control the evaluation order, seq and bang patterns, but I am not sure which of these (if any) is the right tool. Consider the following

Re: [Haskell-cafe] Re: Data.Ring -- Pre-announce

2009-12-31 Thread David Leimbach
I recently needed a ring buffer in haskell, so I did it in C and used the FFI :-) This is much nicer. Dave On Thu, Dec 31, 2009 at 2:37 PM, Iavor Diatchki iavor.diatc...@gmail.comwrote: Hi, I usually refer to this structure as a RingBuffer, just an idea. If you have the time, I would add

Re: [Haskell-cafe] Native CLient

2009-12-29 Thread David Leimbach
I guess I'm confused by what it means to support this in a language. My understanding is this is using lightweight virtualization technology (perhaps via segment register hacks on x86, and something else on ARM) to provide a safe sandbox to run native code in a browser. If I had to guess, I'd

Re: [Haskell-cafe] Native CLient

2009-12-29 Thread David Leimbach
/29 David Leimbach leim...@gmail.com: I guess I'm confused by what it means to support this in a language. My understanding is this is using lightweight virtualization technology (perhaps via segment register hacks on x86, and something else on ARM) to provide a safe sandbox to run native

Re: [Haskell-cafe] Re: Why?

2009-12-10 Thread David Leimbach
And that would be true if everything were strict and not partially evaluated sometimes :-) My understanding is the following... (and I could be way off) Remember that a function of arity N is really N functions of arity 1 with their arguments bound one at a time to create a new function along

Re: [Haskell-cafe] Re: Why?

2009-12-10 Thread David Leimbach
with where we want pure functional programming to be. Dave 2009/12/10 David Leimbach leim...@gmail.com And that would be true if everything were strict and not partially evaluated sometimes :-) My understanding is the following... (and I could be way off) Remember that a function of arity N

Re: [Haskell-cafe] Re: Why?

2009-12-10 Thread David Leimbach
I understand that this is very much a work-in-progress. But we have to also come to the realization that there's people forming industrial groups and such around Haskell, and trying very earnestly to show that it's worth looking into for serious practical applications. I do believe that it's

Re: [Haskell-cafe] Re: Why?

2009-12-10 Thread David Leimbach
My understanding of functional programming is that nearly everything is a function, and that evaluation of those functions is how programs are written. Functional programming languages treat functions as first class values, allowing them to be passed to other functions and returned from

Re: [Haskell-cafe] Re: Why?

2009-12-10 Thread David Leimbach
implement n+k patterns, one could argue (at least for rhetorical effect) that Haskell plus unsafePerformIO isn't Haskell, I don't think you'll be able to find unsafePerformIO in the report... Best wishes Stephen 2009/12/10 David Leimbach leim...@gmail.com: That's not a safe way to think

Re: [Haskell-cafe] Why?

2009-12-10 Thread David Leimbach
2b. You can define brand new flow control constructs *inside* the language itself. (E.g., in Java, a for loop is a built-in language construct. In Haskell, for is a function in Control.Monad. Just a plain ordinary function that anybody could write.) Psst, heard about Scheme

Re: [Haskell-cafe] Is Haskell a Fanatic?

2009-12-04 Thread David Leimbach
Hi Simon and others, Personally I don't see anything wrong with this guy's line of questioning. He wants some proof that Haskell can live up to some of the claims made about it. There's a lot of selling of languages like Clojure, Scala, and Haskell going on that have real world examples showing

Re: [Haskell-cafe] inotify-alike for mac os x?

2009-12-04 Thread David Leimbach
d On Thu, Dec 3, 2009 at 7:55 PM, Gregory Collins g...@gregorycollins.netwrote: Conal Elliott co...@conal.net writes: I'd like to make some FRPish toys that keep files updated to have functional relationships with other files. hinotify looks like just the sort of underlying magic I

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

2009-11-13 Thread David Leimbach
On Fri, Nov 13, 2009 at 8:52 AM, Andrew Coppin andrewcop...@btinternet.comwrote: Stephen Tetley wrote: 2009/11/13 Rafael Gustavo da Cunha Pereira Pinto rafaelgcpp.li...@gmail.com: Monoid is the category of all types that have a empty value and an append operation. Or more generally

[Haskell-cafe] Long running Haskell program

2009-11-11 Thread David Leimbach
As some of you may know, I've been writing commercial Haskell code for a little bit here (about a year and a half) and I've just recently had to write some code that was going to run have to run for a really long time before being restarted, possibly months or years if all other parts of the

Re: [Haskell-cafe] Re: Long running Haskell program

2009-11-11 Thread David Leimbach
On Wed, Nov 11, 2009 at 8:20 AM, Andy Stewart lazycat.mana...@gmail.comwrote: David Leimbach leim...@gmail.com writes: As some of you may know, I've been writing commercial Haskell code for a little bit here (about a year and a half) and I've just recently had to write some code

Re: [Haskell-cafe] Long running Haskell program

2009-11-11 Thread David Leimbach
On Wed, Nov 11, 2009 at 9:51 AM, Bryan O'Sullivan b...@serpentine.comwrote: On Wed, Nov 11, 2009 at 7:43 AM, David Leimbach leim...@gmail.com wrote: I recently ran into some serious space leak difficulties that would ultimately cause this program to crash some time after startup (my

Re: [Haskell-cafe] Long running Haskell program

2009-11-11 Thread David Leimbach
On Wed, Nov 11, 2009 at 10:29 AM, David Menendez d...@zednenem.com wrote: On Wed, Nov 11, 2009 at 1:09 PM, Matthew Pocock matthew.poc...@ncl.ac.uk wrote: Is there a state monad that is strict on the state but lazy on the computation? Of course, strictness in the state will force a portion

Re: [Haskell-cafe] Long running Haskell program

2009-11-11 Thread David Leimbach
On Wed, Nov 11, 2009 at 11:19 AM, Don Stewart d...@galois.com wrote: leimy2k: I figured I was better off just creating a dependency in the evaluation, near the outermost portion of the program (the loop) that would cause a strict evaluation, and so far I was right :-) Program behaves

Re: [Haskell-cafe] What's the deal with Clean?

2009-11-04 Thread David Leimbach
On Tue, Nov 3, 2009 at 10:44 PM, Ben Lippmeier ben.lippme...@anu.edu.auwrote: David Leimbach wrote: I have to admit, the first time I hit the wiki page for DDC I said to myself Self, this sounds crazy complicated. Then I read part of the PDF (your thesis I believe) about Region Types

Re: [Haskell-cafe] What's the deal with Clean?

2009-11-04 Thread David Leimbach
On Wed, Nov 4, 2009 at 7:11 AM, Edsko de Vries edskodevr...@gmail.comwrote: On 4 Nov 2009, at 13:36, Alberto G. Corona wrote: Artyom. I know what uniqueness means. What I meant is that the context in which uniqueness is used, for imperative sequences: (y, s')= proc1 s x (z, s'')= proc2

Re: [Haskell-cafe] multi-line regex

2009-11-04 Thread David Leimbach
Multi-line regular expressions are indeed powerful. Rob Pike has a good paper on it available at: http://doc.cat-v.org/bell_labs/structural_regexps/se.pdfhttp://code.google.com/p/sregex/ http://code.google.com/p/sregex/Explains how line-based regular expressions are limiting etc. The Sam and

Re: [Haskell-cafe] What's the deal with Clean?

2009-11-03 Thread David Leimbach
On Tue, Nov 3, 2009 at 3:14 PM, Ben Lippmeier ben.lippme...@anu.edu.auwrote: David Leimbach wrote: Disciplined Disciple might be interesting to look at here too, but i'm not sure I'd deploy anything with DDC just yet :-) :) Nor would I (and I wrote most of it). I think the approach is right

Re: [Haskell-cafe] What's the deal with Clean?

2009-11-03 Thread David Leimbach
On Tue, Nov 3, 2009 at 2:16 PM, Tracy Wadleigh tracy.wadle...@gmail.comwrote: I had to implement a ring buffer, and I wanted the code using it to be written in Haskell. I ended up implementing the buffer in C, and wrapping it in FFI from Haskell because implementing a destructive array in

Re: [Haskell-cafe] What's the deal with Clean?

2009-11-03 Thread David Leimbach
On Tue, Nov 3, 2009 at 1:37 PM, Andrew Coppin andrewcop...@btinternet.comwrote: Deniz Dogan wrote: Recently there has been a lot of discussion on this list about the programming language Clean and converting Clean programs to Haskell. Reading the Wikipedia article on the language, I can't

Re: [Haskell-cafe] Re: Libraries for Commercial Users

2009-10-28 Thread David Leimbach
I'm absolutely missing your point. Here's an example. I'm a commercial developer. I need to create an SNMP agent. You show me Haskell, I point at Erlang. Erlang wins for time to market, and Haskell doesn't get to be part of the solution. We need libraries. On Wed, Oct 28, 2009 at 2:44 AM,

Re: [Haskell-cafe] Hoogle is great but ...

2009-10-26 Thread David Leimbach
On 10/26/09, David Virebayre dav.vire+hask...@gmail.com wrote: On Sun, Oct 25, 2009 at 2:09 PM, Curt Sampson c...@starling-software.com wrote: But zaxis, here's another thing to look at. There's usually a view source link beside most of the functions that come up in the Haddock documentation

  1   2   3   >