Pergunta de entrevista da empresa SimSpace

Questions on what is and is not possible with safety guarantees in statically typed programming