Ask HN: high-level languages w/static allocation

Simply: I mainly develop for embedded systems (that must not use any type of non-deterministic memory allocation). For associated projects, I've started to use Python quite a bit and have fallen in love with the tuple and list primitives built into the language (among other features). Naturally, I only use C for the embedded work, and C++ is not used on our projects - and I am somewhat embarrassed to say I've only briefly fooled around with it.

My question is this: are there any embedded friendly languages that have some of the same high level features of more interesting languages (e.g., reflection, generic programming, first-class functions, extensive list libraries) that can be compiled without a runtime and strictly without any calls to malloc? Are any of these even possible? I've tried sketching out possible solutions to this, but I suspect they may only work in very limited cases. Thanks.