IFL/TFP 2003 2nd call for participation/registration

, a high-quality subset of contributions will be published in the Springer LNCS series. All speakers attending the workshop are invited to submit a paper. Papers for the LNCS proceedings will be refereed according to normal conference standards. Greg Michaelson and Phil Trinder (Organizing Committee

Re: Web Demonstration of Type Error Slicing

Please tell me when it recognises [] as the empty list and :: as a list constructor. Thanks! Greg ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell

Re: Web Demonstration of Type Error Slicing

Please give some examples. It doesn't like ; at the end but says EOF when ; is missed. It doesn't show the examples when I select them. Greg ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell

FINAL CALL: 3rd SCOTTISH FUNCTIONAL PROGRAMMING WORKSHOP

For further details, please see: http://www.cee.hw.ac.uk/~greg/sfp3/ Sharon Curtis | Greg Michaelson| Workshop Coordinators Phil Trinder | ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell

RE: rules

functions to try and optimise skeleton based parallelism. We're also investigating program synthesis to "lift" higher order functions from programs that don't contain them explicitly. Greg Michaelson

Re: GHC in Japanese Fifth Generation Project!

It's: Guarded Horn Clauses. Horn Clauses are a normal form for predicate calculus expressions. I expect that Haskellites are probably familiar with guards... Greg Michaelson

Re: Standard Haskell

Haskell-A... I'm almost missing incomprehensible discourse on the Haskell type system... Greg Michaelson

Re: Could Haskell be taken over by Microsoft?

maintain its purity other than as an academic exercise? More to the point, would a standard imperative notation sitting on top of monads really hurt Haskell that much? Greg Michaelson PS from an SML enthusiast... Step 4: MS Office is rewritten in Haskell. All PCs now require a minimum

Re: Exceptions and functions. Second round?

by people who have written interrupt driven multi-process systems. It probably has horrendous semantic implications... Greg Michaelson

Re: Formal design spec into Haskell or Miranda

of orthodoxy... No one has yet confessed to using Haskell for such degenerate purposes... The reference is: Hayes Jones, `Specifications are not (necessarily) executable', Software Engineering Journal, Vol 4, No 6, pp330-338, 1989 Greg Michaelson

Re: Formal design spec into Haskell or Miranda

Engineering Journal called something like "Executions are not (always) executable" to discover why persons of good taste in the formal community will no longer speak to you if you take this any further... Greg Michaelson

Re: Pattern guards

... Why does the Haskell community have such an antipathy to if...then...else...? Tony said that choice of construct is a matter of personal style. Nonetheless, I think that this whole debate crystalises a consensus that guards are prefereable to conditional expressions. Greg Michaelson

Function values

. Other people in this list and in email to me have said that this is something they'd like. So, perhaps implementors might consider providing function value display in future systems? Greg Michaelson

Do functions exist?

rinting functions. And we call this functional programming? Greg Michaelson