[Haskell] Formal Methods 2006

2005-08-02 Thread Jeffery Zucker
FM'06: 14TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS 21 - 27 August 2006 McMaster University, Hamilton, Canada http://fm06.mcmaster.ca/ ANNOUNCEMENT AND CALL FOR SUBMISSIONS FM'06 is the fou

RE: [Haskell] Files and lazyness

2005-08-02 Thread Simon Marlow
On 01 August 2005 16:05, Cale Gibbard wrote: > Your problem is, as you pointed out, that readFile does lazy IO. > Although the semantics of it can be a bit confusing at times, it is > useful for applications where you have a large file which is being > consumed, and you don't want to allocate all

[Haskell] Haskell Weekly News: August 2, 2005

2005-08-02 Thread John Goerzen
Haskell Weekly News: August 2, 2005 Greetings, and thanks for reading the first issue of HWN, a weekly newsletter for the Haskell community. HWN is an experiment inspired by [1]Debian Weekly News and [2]Linux Weekly News. Each Tuesday, new editions will be posted

Re: [Haskell] problems with RegEx

2005-08-02 Thread Srinivas Nedunuri
hi, thanks for the info. I found a package that implements RegEx on windows so I'll try that out - Original Message - From: "Bernard Pope" <[EMAIL PROTECTED]> To: "Srinivas Nedunuri" <[EMAIL PROTECTED]> Cc: Sent: Wednesday, July 27, 2005 10:07 PM Subject: Re: [Haskell] problems with RegE

[Haskell] ST/STRef vs. IO/IORef

2005-08-02 Thread Srinivas Nedunuri
Hello, I have some code that manipulates STRefs within the ST monad. All good and fine, until I come across some computation that uses lets say IO and everything skids to a halt. At this point I have 3 choices:   1. Define a ST State Transformer monad and do all my previous ST computations i

Re: [Haskell] problems with RegEx

2005-08-02 Thread Brian Smith
* GHC(i) has included Text.Regex in its Windows builds since at least 6.2.2 * The version of Hugs in CVS contains Text.Regex in the Windows build: Hugs.Base> :v -- Hugs Version 20050731 Hugs.Base> :l Text.Regex Text.Regex> let a = mkRegexWithOpts "(.*a$)" True True in matchRegex a (u