C++ is the only one I can think of. The reflection is week. The generics are powerful but ugly. First-class functions technically don't exist but function ob

C++ is the only one I can think of. The reflection is week. The generics are powerful but ugly. First-class functions technically don't exist but function objects make a useful if verbose replacement. Their lists still use malloc, but all of their list manipulation functions work on arrays as well. The only other language I can think of that is both high and low level at the same time is Forth. I am not quite as familiar with it as I am with C++ but I am pretty sure it meets your feature list.