Re: [Haskell-cafe] State of play with Haskell-Cocoa (Objective-C)bindings?

2011-08-01 Thread Donn Cave
Quoth Luke Evans l...@eversosoft.com, I'm planning to start an Objective-C/Cocoa project and would like to write it in Haskell as much as possible. Of course, I can contrive to split the project into app logic (Haskell) and UI (Objective-C) with some sort of minimal interface between them;

Re: [Haskell-cafe] logic and types

2011-08-01 Thread wren ng thornton
On 8/31/11 6:48 PM, Patrick Browne wrote: Hi, Below are some questions about the logical interpretation of types and type classes. [...] -- Is this an axiom at type level? It depends how exactly you mean axiom. Under some interpretations, Haskell has no way to specify axioms, since all

Re: [Haskell-cafe] Unbelievable parallel speedup

2011-08-01 Thread Simon Marlow
On 03/06/2011 13:10, John D. Ramsdell wrote: I've enjoyed reading Simon Marlow's new tutorial on parallel and concurrent programming, and learned some surprisingly basic tricks. I didn't know about the '-s' runtime option for printing statistics. I decided to compute speedups for a program I

Re: [Haskell-cafe] State of play with Haskell-Cocoa (Objective-C) bindings?

2011-08-01 Thread Edward Amsden
On Sun, Jul 31, 2011, Luke Evans l...@eversosoft.com wrote: - HOC seems very close to what I'm looking for, but the project looks pretty 'dormant'. My last go-round with HOC it failed at parsing Apple's Objective-C headers. I've been thinking of digging into it and fixing it, but I'm a student

[Haskell-cafe] Regular Expression Parsing via derivatives

2011-08-01 Thread Alex Clemmer
Hi Haskell people, I've been snooping through various mailing lists and the current Haskell implementation of regular expressions and I was wondering if there has been a discussion about implementing regex parsing with derivatives. If so, I haven't seen it. If not, I'd like to have a discussion

Re: [Haskell-cafe] Regular Expression Parsing via derivatives

2011-08-01 Thread Antoine Latter
On Mon, Aug 1, 2011 at 10:51 AM, Alex Clemmer clemmer.alexan...@gmail.com wrote: Hi Haskell people, I've been snooping through various mailing lists and the current Haskell implementation of regular expressions and I was wondering if there has been a discussion about implementing regex

Re: [Haskell-cafe] Regular Expression Parsing via derivatives

2011-08-01 Thread Alex Clemmer
Hmm. Not sure how I missed that. And, I also inquired about developing a core featre instead of a library -- implying disparity where in retrospect there doesn't appear to be any. That's too bad, but thanks for the helpful response! On Mon, Aug 1, 2011 at 12:26 PM, Antoine Latter

Re: [Haskell-cafe] Regular Expression Parsing via derivatives

2011-08-01 Thread Chris Smith
On Mon, 2011-08-01 at 12:38 -0400, Alex Clemmer wrote: Hmm. Not sure how I missed that. And, I also inquired about developing a core featre instead of a library -- implying disparity where in retrospect there doesn't appear to be any. Right... the only regular expression support for Haskell at

[Haskell-cafe] strictness properties of monoidal folds

2011-08-01 Thread Sebastian Fischer
Hello Cafe, left- and rightwards folds come in strict and lazy variants foldl/fold' and foldr/foldr' which makes sense because strict versions sometimes use less stack space while lazy versions support infinite data. For example, head (foldr (:) [] [1..]) returns in an instant while