Jo is a statically typed language that enables compile-time sandboxing · HackerTrans