[Haskell-cafe] Re: Low-level high-level languages?

[Ryan Ingram]

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 <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>
>>
>> http://www.ats-lang.org/
>>
>> 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
>>> http://www.haskell.org/mailman/listinfo/haskell-cafe
>>
>>
>> _______________________________________________
>> Haskell-Cafe mailing list
>> Haskell-Cafe at haskell.org
>> http://www.haskell.org/mailman/listinfo/haskell-cafe
>>
>
>
>
> --
> http://thewhitelion.org/mysister
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>