Haaveilen EVM-kielestä, joka: - sisältää geneerisiä lääkkeitä - on lineaarisia tyyppejä - on muunnelmatyyppejä - Rakennetaan turvallisia abstraktioita matalan tason optimointien sijaan - ei anna paskavirheitä - siinä on hyvät FV-työkalut - tuottaa hyvän tavukoodin Onko se liikaa pyydetty?