What was that stripped-down low-level version of C I saw coming out of ... was it Microsoft Research?  C-- or something.  Unfortunately, the name appears to be immune to Googling.

2009/2/16 Alberto G. Corona <agocorona@gmail.com>
http://www.ats-lang.org/

2009/2/16 Jon Fairbairn <jon.fairbairn@cl.cam.ac.uk>

Maurí­cio <briqueabraque@yahoo.com> writes:

> Hi,
>
> I've checked this 'BitC' language (www.bitc-lang.org). It
> uses some ideas we see in Haskell, although with different
> realization, and target mainly reliable low level code,
> like micro-kernels (although I think it could be used
> anywhere C is also used, including writing libraries Haskell
> could call with FFI).
>
> Do you guys know of other languages like that that I could
> check?

Hume <http://www-fp.cs.st-andrews.ac.uk/hume/index.shtml>
might be worth a look. I've never tried it, and since one of
the top chaps associated with it said to me that he loathes
Haskell, I'm not sure I should mention it here :-)

--
Jón Fairbairn                                 Jon.Fairbairn@cl.cam.ac.uk
http://www.chaos.org.uk/~jf/Stuff-I-dont-want.html  (updated 2009-01-31)

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe




--
http://thewhitelion.org/mysister