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 <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 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.fairba...@cl.cam.ac.uk >> http://www.chaos.org.uk/~jf/Stuff-I-dont-want.html<http://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
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe