3 ms·Why calculating is better than scheming (1987) [pdf]3 points by tinyspacewizard 4y agotinyspacewizard 4y ago... a type inference system means that typing (of data) need not involve extra typing (with fingers).