Re: [Haskell] Lazy evaluation

2004-10-07 Thread Jules Bean
On 7 Oct 2004, at 22:14, Amadeo Casas Cuadrado wrote: Hello, Could anyone tell me where can i find a webpage or a paper about how lazy implementation is done is Haskell? For much more than you could ever want to know about haskell, look in Simon Peyton Jones's page: http://research.microsoft.co

[Haskell] Re: threading mutable state through callbacks

2004-10-07 Thread Jules Bean
[snip oleg's paper which looks interesting, and which I will read] On 8 Oct 2004, at 02:44, [EMAIL PROTECTED] wrote: The example is writing JNI functions in Haskell. Incidentally, the example illustrates passing of the implicit state (JNIEnv pointer) _around_ the exception handler. The problem is t

[Haskell] Re: threading mutable state through callbacks

2004-10-07 Thread oleg
Jules Bean wrote: > Unfortunately, it's not going to work. It's not going to work because > some of the procedures take callbacks, and the callbacks are values of > type IO (). I can see two solutions to this: > > a) revert to using an IORef, and use lexical scoping to define my > callbacks in a l

[Haskell] Lazy evaluation

2004-10-07 Thread Amadeo Casas Cuadrado
Hello, Could anyone tell me where can i find a webpage or a paper about how lazy implementation is done is Haskell? Thanks a lot! --Ama ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell

[Haskell] threading mutable state through callbacks

2004-10-07 Thread Jules Bean
Hi, I've been playing with some haskell bindings which basically bind C procedures in the IO monad. To write 'interesting' programs, you often need to manage your own state in addition to the implicit IO state. I have been allocating references with newIORef and then passing them around all my