Simulation in Strongly Typed Languages | lit.salon