The Terra Programming Language
Terra (via Hacker News):
Like C, Terra is a simple, statically-typed, compiled language with manual memory management. But unlike C, it is designed from the beginning to interoperate with Lua. Terra functions are first-class Lua values created using the
terrakeyword. When needed they are JIT-compiled to machine code.
You’re right that we designed Terra primarily to be an enviornment for generate low-level code. In particular, we want to be able to easily design and prototype DSLs and auto-tuners for high-performance programming applications. We explain this use-case in more detail in our upcoming PLDI paper.
Update (2013-05-15): The Lambda thread:
