In development: A compiler with advanced safety checks (Go, Python)