[Haskell-cafe] Haskellers in London (UK)?

2006-10-15 Thread Ben Moseley
Hi, Just thought I'd send out a quick mail to see if there are any other Haskellers based in London who might be interested in getting together occasionally. Anyway, if you're interested please reply to this. Cheers, --Ben ___ Haskell-Cafe

Re: [Haskell-cafe] what GUI library should i select?

2006-11-13 Thread Ben Moseley
Has anyone succeeded in getting it running on OSX/intel at all? ...I had a brief go a few weeks back, managed to get the Cairo Clock running, but anything that used GTK seemed to blow up instantly. (OSX/ ppc was fine). --Ben On 13 Nov 2006, at 19:03, Duncan Coutts wrote: On Mon,

Re: [Haskell-cafe] what GUI library should i select?

2006-11-13 Thread Ben Moseley
gtk-demo seemed to run fine. --Ben On 13 Nov 2006, at 21:01, Duncan Coutts wrote: On Mon, 2006-11-13 at 20:49 +, Ben Moseley wrote: Has anyone succeeded in getting it running on OSX/intel at all? I'm not sure actually. I seem to recall someone trying it but I can't remember who now

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

2010-08-11 Thread Ben Moseley
Investment banking isn't likely to lead to improvements in zygohistomorphic prepromorphisms. Given that an investment bank could (purely hypothetically of course ;-) use - say - paramorphisms as their fundamental approach to processing a deeply-embedded DSEL, I wouldn't be too quick to

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

2010-08-12 Thread Ben Moseley
it's clear that FP ideas are becoming mainstream _without_ any need of help from the financial community This is far from clear - unless you want to deny that the financial community has had any impact on FP... due to Objective C with its Smalltalk influence ...and it's interesting to

Re: [Haskell-cafe] Is this Parsec code idiomatic?

2009-09-04 Thread Ben Moseley
Or for a bit of variety: selectPlus s = [cs | ('+':cs) - lines s] --Ben On 4 Sep 2009, at 20:40, Martijn van Steenbergen wrote: Hi Serge, Serge LE HUITOUZE wrote: I'm asking some advice on a small piece of code representing a simplified version of a treatment I need to perform. I have a

Re: [Haskell-cafe] Editor

2007-05-21 Thread Ben Moseley
You mentioned a dream Have you looked at Yi? might be worth a peek if you're prepared to work towards your dream. http://www.haskell.org/haskellwiki/Yi ...a long way to go - but it certainly nails #7! --Ben On 21 May 2007, at 15:44, Leif Frenzel wrote: Bayley, Alistair wrote:

Re: [Haskell-cafe] type and data constructors in CT

2009-01-31 Thread Ben Moseley
You can view a polymorphic unary type constructor of type :: a - T as a polymorphic function. In general, polymorphic functions correspond roughly to natural transformations (in this case from the identity functor to T). --Ben On 31 Jan 2009, at 17:00, Gregg Reynolds wrote: Hi, I think

Re: [Haskell-cafe] type and data constructors in CT

2009-02-01 Thread Ben Moseley
On 31 Jan 2009, at 20:54, Gregg Reynolds wrote: On Sat, Jan 31, 2009 at 1:02 PM, Ben Moseley ben_mose...@mac.com wrote: You can view a polymorphic unary type constructor of type :: a - T as a polymorphic function. Shouldn't that be * :: a - T a ? Yes, you're right. And when I say

Re: [Haskell-cafe] Learn You a Haskell for Great Good - a few doubts

2011-03-10 Thread Ben Moseley
On 7 Mar 2011, at 23:38, Alexander Solla wrote: _|_ /= (_|_,_|_) (undefined, undefined) (*** Exception: Prelude.undefined That is as close to Haskell-equality as you can get for a proto-value that does not have an Eq instance. As a consequence of referential transparency,