To my eyes just having generics and hiding away pointers and vtables make them very high level, but I think my argument was more about what is coming with the language (aka their standard libraries) and I've definitely seen people ignore the available libraries, even in python.
It's often worse on Windows, since dotfiles aren't hidden and meny dev tools assume they'll be running on *nix even when they support Windows. https://imgur.com/a/Im6G20B capture from my windows box of my $HOME.
It's just ~/Documents, which I symlink to ~/Desktop so that if any asshole developer dumps a file into it I'll be able to see it and remove it immediatelty.
Theoretically, yes it is falsifiable. If you had sufficient data about a system you could perfectly forecast micro- and macroeconomic results.
Now, is it testable? Only in a very limited sense. You can suss out trends in a decently empirical way, but because you're working with independent agents you can't really get sufficient data to obtain rigorous results.
Economics is not unlike high energy physics in these respects. You can move the needle in legitimate ways, but there are very hard restrictions that make it more difficult to make rigorous observations.