[Haskell-cafe] New to Haskell

[Peter Lund]

On Tue, 2007-12-18 at 12:53 +0200, Cristian Baboi wrote:

> > The semantics of IO, and the guarantees of the runtime.
> >
> > IO specifies that (>>) means "compose two actions to make a larger  
> > action which does the first actions, then the second action".
> >
> > [do {a; a;} is notation for a >> a]
> >
> > The RTS specifies that the "main" action is performed exactly once.
> 
> Is this dependent on the implementation (if I use GHC or Hugs) or is  
> something that the language say ?

Part of the language.  You do get your guarantee written in blood.

-Peter