The Genie language

Don't like the arg:type syntax, too used to python's : symbol meaning begin new block. Maybe it got that from functional languages that use arg:type?

The real problem is that nobody will be using this, since there's no libraries for it (can't even use GObject C libraries because not everything is available at runtime, e.g. you can't tell what non-virtual member functions an object has available). It compiles to C and supports plain pointers, plain function calls, so why not have a feature that scans C headers and automatically generates bindings out of it?

I see absolutely no reason to use this over Vala, which has far more language features and has the same "compiles to C and doesn't have VM bloat" advantage.