Re: 2.05 binary snapshots available

1997-09-04 Thread Sven Panne
The i386-unknown-linux version of GHC 2.05 has been updated to incorporate the latest patches (mangler bug polymorphic case bug). It's available as usual: ftp://ftp.informatik.uni-muenchen.de/local/pms/ghc-2.05-all-i386-unknown-linux.tar.gz The hppa1.1-hp-hpux10 version in the same

Re: Another question about monads and linearity

1997-09-04 Thread Paul Hudak
Patrick Logan wrote: In "Rolling Your Own Mutable ADT: A Connection Between Linear Types and Monads", p. 1, Chen and Hudak write: There are few formal connections between monads and single-threaded state... For any state-transformer monad... there is a trivial operation...

Re: Another question about monads and linearity

1997-09-04 Thread Simon L Peyton Jones
There are few formal connections between monads and single-threaded state... For any state-transformer monad... there is a trivial operation... that will instantly destroy any hope for single-threadedness: getState s = (s, s) In day-to-day Haskell 1.3 programming what is

ILPS'97 - Call for Participation

1997-09-04 Thread juliana
Call for Participation International Logic Programming Symposium 97 ILPS'97 http://www.ida.liu.se/~ilps97 http://www.cs.sunysb.edu/~ilps97 Port Jefferson,