For tasks like that I'm not sure why you should restrict yourself to no GC and no runtime. As Rust develops more libraries and advanced macros in those libraries you should be able to get more done quickly, but I'd think Go would be a good choice for the above task if you wanted the script to compile and deal with tons of data. Otherwise I believe Python really is the best choice here for both being very expressive and having libraries written to do most of the heavy lifting for you.

Which kind of makes me wonder if a language like the one you wished for existed would it not be better to pick one of the existing languages instead and maybe use type annotations to help in Node or Python?