Re: [Haskell-cafe] LGPL and Haskell (Was: Re: ANNOUNCE: tie-knot library)

2012-12-14 Thread Steve Severance
That very much mirrors my experience. As there is not settled case law in all jurisdictions many companies would simply rather not risk it. Simply having a court in the US set some precedents would not be enough. A company which operated globally could be sued in many different venues which are

Re: [Haskell-cafe] AST Rewriting

2012-11-21 Thread Steve Severance
Thanks everyone for your replies. I am not wedded to GADTs or really anything else. I am going to give the syntactic library a shot over the next few days and see if I can hack something together. Thanks again for the papers and libraries. Steve On Wed, Nov 21, 2012 at 6:10 AM, Sean Leather

[Haskell-cafe] AST Rewriting

2012-11-20 Thread Steve Severance
Hi Everyone, I am trying to build a function to rewrite and AST. I have and AST which is designed to represent a computation graph. I will present a simplified version here designed to illustrate the problem. I have tried numerous ways of rewriting it including uniplate, recursion and Edward

Re: [Haskell-cafe] Invitation to connect on LinkedIn

2012-09-12 Thread Steve Severance
My heart skipped a beat when I saw myself on here. Then I saw I was the target. For the record I am morally opposed to inbox harvesting, although LinkedIn keeps recommending that I do just that. Steve On Wed, Sep 12, 2012 at 11:49 AM, Brandon Allbery allber...@gmail.comwrote: On Wed, Sep 12,

Re: [Haskell-cafe] Knight Capital debacle and software correctness

2012-08-04 Thread Steve Severance
Actually Haskell is used in a surprising number of trading groups. However most people involved are contractually obligated to never talk about the technology in use at their firm. We make no secret that we use Haskell as our primary language in building trading systems. Other functional

Re: [Haskell-cafe] strict version of Haskell - does it exist?

2012-01-31 Thread Steve Severance
Hi Everyone, I had a similar experience with a similar type of problem. The application was analyzing web pages that our web crawler had collected, well not the pages themselves but metadata about when the page was collected. The basic query was: SELECT Domain, Date, COUNT(*) FROM Pages

Re: [Haskell-cafe] Amazon AWS storage best to use with Haskell?

2011-11-16 Thread Steve Severance
We use AWS extensively. We use the aws package and have contributed to it, specifically SQS functionality. I will give you the rundown of what we do. We moved off of SimpleDb and now use mondodb. The reason is that simple db seemed to have problems with write pressure and there are not good tools

Re: [Haskell-cafe] OSX i386/x86 and x86_64 - time to switch supported platforms?

2011-02-03 Thread Steve Severance
/listinfo/haskell-cafe -- Steve Severance c. 240.472.9645 e. st...@medwizard.net ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo

Re: [Haskell-cafe] who's in charge?

2010-10-28 Thread Steve Severance
2) This is a doocracy (man do I hate that word!).  If there is a problem, here's what you should do about it, in descending order of attractiveness: a) Fix it yourself b) Pay someone else to fix it c) Motivate or politely encourage others to fix it, providing moral support, etc. The key

Re: [Haskell-cafe] :Trace has no history

2010-08-31 Thread Steve Severance
://www.haskell.org/mailman/listinfo/haskell-cafe -- -- José Iborra        http://www.dsic.upv.es/~jiborra -- UPV Valencia       Telf. (+34) 96 387 00 00 (ext) 83529 -- Camino de Vera s/n. 46022 Valencia (Spain) -- Steve Severance c. 240.472.9645 e. st