Nelua Programming Language
Something I'd like to see more of are GC and memory allocation guarantees, not just an option to disable it.<p>Most of the time GC is fine as long as it's low enough latency. Where it matters you don't really want <i>any</i> memory management - which isn't useful, since the memory needs to me managed <i>somewhere</i> in the code. For that reason the pattern isn't to switch to a non-GC'd language because it doesn't have GC but because you can guarantee all the memory is allocated up front and that no freeing or allocation happens in the tight loops.<p>That's not actually sufficient though. Even in production code bases accidental allocation can slip through. What you'd really like to see is a `no-alloc:` block which forbids operations that may allocate or free memory - GC'd or otherwise - and force the programmer to allocate before entering the block and free outside it.