Using static typing to protect against code injection attacks
medium.com