Re: [Haskell-cafe] I/O without monads, using an event loop

Yeah, this sounds really similar to functionally reactive programming. I recommend you start by reading this paper: http://haskell.cs.yale.edu/frp/genuinely-functional-guis.pdf On Fri, May 30, 2008 at 11:34 AM, Wolfgang Jeltsch <[EMAIL PROTECTED]> wrote: > Am Freitag, 30. Mai 2008 16:09 schrieb

Re: [Haskell-cafe] I/O without monads, using an event loop

Robin Green wrote: > I have been thinking about to what extent you could cleanly do I/O > without explicit use of the I/O monad, and without uniqueness types Here's a way to see I/O as a pure functional data structure. To keep things simple, we model only Char I/O: data Program = Quit | Outpu

Re: [Haskell-cafe] I/O without monads, using an event loop

On May 30, 2008, at 9:09 AM, Robin Green wrote: eventMain :: (Event, SystemState AppState) -> (Command, SystemState AppState) The first thing I would do with this type is probably wrap it up in a State monad so I don't have to keep track of the SystemState AppState stuff myself, which com

Re: [Haskell-cafe] I/O without monads, using an event loop

Am Freitag, 30. Mai 2008 16:09 schrieb Robin Green: > […] > I'm primarily interested in embedded system and desktop UIs, Than you should take a look at . > […] Best wishes, Wolfgang ___ Haskell-Cafe mailing list Has

Re: [Haskell-cafe] I/O without monads, using an event loop

On Fri, 30 May 2008 15:23:46 +0100 Andrew Butterfield <[EMAIL PROTECTED]> wrote: > Robin Green wrote: > > I have been thinking about to what extent you could cleanly do I/O > > without explicit use of the I/O monad, and without uniqueness types > > (which are the main alternative to monads in pure

Re: [Haskell-cafe] I/O without monads, using an event loop

Robin Green wrote: I have been thinking about to what extent you could cleanly do I/O without explicit use of the I/O monad, and without uniqueness types (which are the main alternative to monads in pure functional programming, and are used in the Concurrent Clean programming language). Suppose

Re: [Haskell-cafe] I/O without monads, using an event loop

On Fri, May 30, 2008 at 03:09:37PM +0100, Robin Green wrote: > I have been thinking about to what extent you could cleanly do I/O > without explicit use of the I/O monad, and without uniqueness types > (which are the main alternative to monads in pure functional > programming, and are used in the C

[Haskell-cafe] I/O without monads, using an event loop

I have been thinking about to what extent you could cleanly do I/O without explicit use of the I/O monad, and without uniqueness types (which are the main alternative to monads in pure functional programming, and are used in the Concurrent Clean programming language). Suppose you have a main event