Re: [Haskell-cafe] hOp

2004-02-19 Thread sebc 

The first source release of hOp, a micro-kernel based on GHC's RTS
that runs Haskell code natively, is available here:

http://www.macs.hw.ac.uk/~sebc/hOp/

-- 
Sébastien Carlier
Jérémy Bobbio


signature.asc
Description: Digital signature
___
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] [Q] What calls what

2004-02-19 Thread Andre Betz 
Hi,

I have a question about the following function. 

I don't know how the definition after "where" are called.

For example, in ( D x2 (-y1) , b ++ b2 ) there is x2 defined in the
where-block. So does that mean that it calls the iteratin at line 7? But what is with
b2, does it also calls the line 7?

Who calls the definition in line 3 and who calls the def in line 7?

Many thanks 
Andre

1 test :: ( D , [Int] ) -> ( D , [S] ) -> ( D , [Int] )
2 test ( D x y , b ) ( D dx dy , st ) = ( D x2 (-y1) , b ++ b2 )
3where ( x1 , y1 ) = head $ dropWhile ( ( > 0 ) . snd ) $ iterate inc (
x , y )
4
5 inc ( n , m ) = ( n+1 , m+1 ) 
6
7 ( b2 , x2 ) = head $ do
8   S ( D x3 sty ) pl _ sb <- st
9   guard $ sty == -y1
10  return ( [1,2,3] ++ sb , x3 + sb)

-- 
**
**
*   André Betz  *  *
*   --  *  *
*EMail: [EMAIL PROTECTED]   *WW*
*  Web: http://www.andrebetz.de *   /__\   *
*  ICQ: 117759780   *  | oo |   _W_*
*Mobil: +49 (0)162 8847 391 * (|_()_|) /  o o  \   *
*   Office: +49 (0)9131 82611 27*   \__/ (|  __O__  |) *
* Home: +49 (0)911 6695 558 *  /|\/|\  \ \___/ /   *
* Tel./Fax: +49 (0)89  1488 224189  *  /---\   *
*Snail: Hirschelgasse 34* |=|  *
*   D-90475 Nürnberg* |=|  *
**
**

___
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] hOp

2004-02-19 Thread sebc 

The RTS of GHC is truly an amazing piece of software.  By removing the
system-specific bits, and just adding a few lines of C and assembly
code, we were able to turn it into a standalone micro-kernel that can
be extended in our favorite language.  A screenshot is available here:

http://etudiants.insia.org/~jbobbio/hOp-20040219.png

Everything from the base hierarchical library not under the System
subdirectory is available.  This includes threads and communication
primitives and the foreign interface, which means experimenting with
writing drivers in Haskell should be reasonably easy.

We hope to make a source release soon.

-- 
Sébastien Carlier
Jérémy Bobbio


signature.asc
Description: Digital signature
___
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe