Maurício briqueabra...@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
http://www.ats-lang.org/
2009/2/16 Jon Fairbairn jon.fairba...@cl.cam.ac.uk
Maurício briqueabra...@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
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 agocor...@gmail.com
http://www.ats-lang.org/
2009/2/16 Jon Fairbairn
Google doesn't hear you ? Yell louder !
http://www.cminusminus.org/
2009/2/16 Fraser Wilson blancoli...@gmail.com:
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
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