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

http://www.ats-lang.org/

2009/2/16 Jon Fairbairn

Maurí­cio 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.htmlhttp://www.chaos.org.uk/%7Ejf/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

C-- is kind of dead; it lives on in spirit as a data type used by the back end of GHC, but there hasn't been much development in C-- as a language proper in a while. LLVM seems to be gaining momentum in that space; Lennart has been posting some experiments with generating LLVM code in Haskell in his blog: http://augustss.blogspot.com/ Neither of these are really designed to be directly authored by humans; they are targeted as intermediate languages which are compiled into by some sort of front-end. -- ryan 2009/2/16 Fraser Wilson :

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

...

http://www.ats-lang.org/

2009/2/16 Jon Fairbairn

...

Maurí­cio 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

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