http://www.impredicative.com/ur/ http://www.impredicative.com/ur/ has a very strong type system that claims to statically prevent any kind of code injection out

http://www.impredicative.com/ur/ http://www.impredicative.com/ur/ has a very strong type system that claims to statically prevent any kind of code injection outright.