Re: [Haskell] Math behind Haskell

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] formal verification for functional programming languages

Anyone interested in program verification issues in a Haskell context should check out the Programatica project: (I'm not sure how recent changes at OGI/PacSoft may have affected the on-going status of this project, but there is a l

Re: Use of Haskell logos

get a cut). -- Fritz Ruehr PS: there have been a couple of "silent updates" to the merchandise available, including a frisbee and some baby clothes (links below). A bigger crop of new products will appear in a few months (I have been upgrading my systems during a sabbatical and need to

Re: Function composition and currying

a run-time argument and the replicated (.)s have distinct but related types, is quite difficult. -- Fritz Ruehr > Hi, > > Hopefully this is a simple question. I am wanting to know good ways > of using ".", the function composition operator, when dealing with > currying f

Re: The Fun of Programming Edited by Gibbons and de Moor

>> Palgrave Macmillan has recently published the above title and is >> looking for ways to promote it. ... > Any clues as to when it will be more easily available in the USA? > > -- Mark If you mean physical perusal in a bookstore, I wouldn't know, but the book can certainly be gotten by mail-or

Re: LISP vs. Haskell

ed an overly-romantic view of the use and evolution of Lisp, through the influence of programmers who are especially fond of a certain style of programming. And I may have an unrealistically tidy view of the design of languages like Haskell and ML, never having sat on a design committee :) . -- Fritz Ruehr [EMAIL PROTECTED]