[Haskell-cafe] Re: Low-level high-level languages?
ryani.spam at gmail.com
Mon Feb 16 15:35:01 EST 2009
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
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.
2009/2/16 Fraser Wilson <blancolioni at 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 Googling.
> 2009/2/16 Alberto G. Corona <agocorona at gmail.com>
>> 2009/2/16 Jon Fairbairn <jon.fairbairn at cl.cam.ac.uk>
>>> Maurício <briqueabraque at 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 at 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 at haskell.org
>> Haskell-Cafe mailing list
>> Haskell-Cafe at haskell.org
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe