I guess other languages that follow a stricter/larger compile time regimen e.g. Haskell, OCaml, Idris, ATS, F* would be suitable as well for this kind of approach. Like Go, OCaml seems to offer low compilation times.