Re: [Haskell] Math behind Haskell

2007-09-23 Thread Ketil Malde
On Sun, 2007-09-23 at 23:24 +0200, Tomas Caithaml wrote: > I came up with: Just take the computer science courses that the fewest of your fellow students see any point to. More seriously - at my alma mater, the math-oriented computer science courses would be a better fit. My last one was on uni

Re: [Haskell] Math behind Haskell

2007-09-23 Thread Bulat Ziganshin
Hello Tomas, Monday, September 24, 2007, 1:24:45 AM, you wrote: > Any other suggestions? discrete mathematics and information theory -- Best regards, Bulatmailto:[EMAIL PROTECTED] ___ Haskell mailing list Haskell@haskel

[Haskell] ANN: Haskell S3 Library 0.1

2007-09-23 Thread Greg Heartsfield
Hello, This is the first release of hS3, a Haskell interface to Amazon's Simple Storage Service. One week from conception to this release, it is still rough around the edges, but the basic functionality does work. Get it from Hackage:

[Haskell] Haskell Weekly News: September 23, 2007

2007-09-23 Thread Don Stewart
--- Haskell Weekly News http://sequence.complete.org/hwn/20070923 Issue 65 - September 23, 2007 --- Welcome to issue 65 of HWN, a newsletter covering

Re: [Haskell] Math behind Haskell

2007-09-23 Thread Don Stewart
fruehr: > Mathematical logic would be a good thing to study if you haven't > already, especially if you can take something as specific as > intuitionistic / constructive / substructural logic. The Curry-Howard > correspondence lurks underneath a lot of Haskell intuitions and > techniques. >

Re: [Haskell] Math behind Haskell

2007-09-23 Thread Fritz Ruehr
Mathematical logic would be a good thing to study if you haven't already, especially if you can take something as specific as intuitionistic / constructive / substructural logic. The Curry-Howard correspondence lurks underneath a lot of Haskell intuitions and techniques. -- Fritz On S

Re: [Haskell] Math behind Haskell

2007-09-23 Thread Cale Gibbard
On 23/09/2007, Albert Y. C. Lai <[EMAIL PROTECTED]> wrote: > Tomas Caithaml wrote: > > Any other suggestions? > > I don't think topology is much needed for Haskell. Whatever little is > needed manifests as lattice theory already. Topology has other uses in > CS, but take note that topological space

Re: [Haskell] Math behind Haskell

2007-09-23 Thread Juarez Assumpcao Muylaert Filho
Albert Y. C. Lai wrote: > Tomas Caithaml wrote: >> Any other suggestions? > > Lattice theory. Actually just the part about "continuous partial > orders" and "least fixed points" suffice. It is hard to find a math > course on lattice theory that spends time on continuous partial > orders; it is easi

Re: [Haskell] Math behind Haskell

2007-09-23 Thread Albert Y. C. Lai
Tomas Caithaml wrote: Any other suggestions? Lattice theory. Actually just the part about "continuous partial orders" and "least fixed points" suffice. It is hard to find a math course on lattice theory that spends time on continuous partial orders; it is easier to find a CS course on denota

[Haskell] Math behind Haskell

2007-09-23 Thread Tomas Caithaml
Hi all. When I was playing with Haskell and reading stuff about it, I noticed that there is a lot of information in a form of research papers and a lot of mathematics involved. I must confess that I quite like this academic approach. Well, I thought that while I am still at university I could tak

[Haskell] simple function: stack overflow in hugs vs none in ghc

2007-09-23 Thread Tom Pledger
John Lask wrote: : | The following code causes a "C stack overflow" in hugs (version 20051031) | but not in ghc (version 6.6) | The point of the exercise is to process a very large file lazily, | returning the consumed and unconsumed parts (i.e. basic parser combinators). : | > sqnc