Re: [Haskell] Discrete event simulation

2006-01-26 Thread John Hughes
- Original Message - From: "Jake Luck" <[EMAIL PROTECTED]> To: Sent: Friday, January 27, 2006 7:41 AM Subject: Re: [Haskell] Discrete event simulation Part of this will be some kind of synchronisation primitive. I don't much care what it is, but somewhere I need a way to make a pro

[Haskell] Re: Discrete event simulation

2006-01-26 Thread Chung-chieh Shan
Paul Johnson <[EMAIL PROTECTED]> wrote in article <[EMAIL PROTECTED]> in gmane.comp.lang.haskell.general: > I want to do some fairly straightforward discrete event simulation. > Tasks do side effects, probably in the ST monad. Every so often the > current task calls "delay n" where n is a numb

Re: [Haskell] Incoherent instances can make ST monad unsound

2006-01-26 Thread Thomas Jäger
On Thu, 2006-01-26 at 20:29 -0800, [EMAIL PROTECTED] wrote: > circumstances, many things break, including the ST monad. One can > indeed break the essential guarantee of the ST monad -- for example, > create a top level STRef *and* fruitfully use in arbitrary ST > computations. The enclosed code do

Re: [Haskell] Discrete event simulation

2006-01-26 Thread Jake Luck
Part of this will be some kind of synchronisation primitive. I don't much care what it is, but somewhere I need a way to make a process wait until something happens rather than just a constant time. Paul, what you have described sounds like a reactive system. Have you looked into AFRP/Yampa?

[Haskell] Incoherent instances can make ST monad unsound

2006-01-26 Thread oleg
In the recent message about regions I wrote: > Typeable constraint has reduced the problem of 'region nesting' to the > regular problem of the 'linearity' of computations -- which is already > solved in ST monad. We can add that pervasive 's' type parameter to > our Q and IOM types. However, the s

[Haskell] ANNOUNCE: C-- compiler frontend release

2006-01-26 Thread Robert Dockins
Fellow Haskellers and C-- enthusiasts, I am pleased to announce the initial alpha release of a C-- frontend (parser, pretty printer, and semantic checker) written in Haskell. My goal when beginning this project was to create a modular frontend that could be used both by people writing and

Re: [Haskell] Discrete event simulation

2006-01-26 Thread Chris Kuklewicz
I don't have an answer. But I do have questions which may help. Paul Johnson wrote: > Hi, I'm going slowly nuts here. Maybe someone can help me out. You could also try the IRC channel #haskell on freenode.irc.net > > I want to do some fairly straightforward discrete event simulation. But I

[Haskell] Discrete event simulation

2006-01-26 Thread Paul Johnson
Hi, I'm going slowly nuts here. Maybe someone can help me out. I want to do some fairly straightforward discrete event simulation. Tasks do side effects, probably in the ST monad. Every so often the current task calls "delay n" where n is a number of seconds. This puts the task back on a li

Re: [Haskell] Scripting language: is Haskell a good choice?

2006-01-26 Thread Cale Gibbard
On 24/01/06, Jules Jacobs <[EMAIL PROTECTED]> wrote: > Hi, > > I would like to create a scripting language, similar to Ruby, Perl and > Python. Pugs, written in Haskell, is a Perl6 implementation. Is Haskell a > good choice for me? I have no experience with Haskell (yet), but I like the > concept o

Re: [Haskell] Scripting language: is Haskell a good choice?

2006-01-26 Thread Doaitse Swierstra
You have some way to go. It may be helpful to take a look at our course on compiler construction, in which we explain how to use the various tools we have built to build compilers and interpreters. I suggest you download the code and the tools and the lecture notes, and start to try to make

Re: [Haskell] Scripting language: is Haskell a good choice?

2006-01-26 Thread Bulat Ziganshin
Hello Jules, Wednesday, January 25, 2006, 12:29:48 AM, you wrote: JJ> I would like to create a scripting language, similar to Ruby, Perl and JJ> Python. Pugs, written in Haskell, is a Perl6 implementation. Is Haskell a JJ> good choice for me? yes, if you ready to learn many new things. Haskell i