Maybe I am missing something,but it sounds like the features the author is looking for could be part of an OS, not a language. For example:
> An example is that a hash table lookup function should be unable to connect to the internet. That way the function can be used without fear of it becoming a liability if it contains bugs or its source code is manipulated by an attacker.
Reminds me of OpenBSD's pledge [1].