На днях под версией 0.4 вышла спецификация BitC - языка программирования, обладающего "низкоуровневой" природой Си и семантикой Схемы и ML.
Спецификация
http://www.coyotos.org/docs/bitc-spec...
Источник
http://lambda-the-ultimate.org/node/v...