Hacker News new | ask | show | jobs
by wvs 4816 days ago
http://www.impredicative.com/ur/ has a very strong type system that claims to statically prevent any kind of code injection outright.