Title: Simulation in strongly typed languages