People compare type checkers with guard rails. In this regard, programming in SML is more like taking the subway :)