There's also BitC: http://www.bitc-lang.org/
Quote from their website: BitC is a new systems programming language. It seeks to combine the flexibility, safety, and richness of Standard ML or Haskell with the low-level expressiveness of C.
Quote from their website: BitC is a new systems programming language. It seeks to combine the flexibility, safety, and richness of Standard ML or Haskell with the low-level expressiveness of C.
SC sounds fun!
Imagine writting CUDA/OpenCL kernels in Scheme-Lisp way :)
That's what they said about Lisp itself. Let's hope it's just as true.