3 ms·... a type inference system means that typing (of data) need not involve extra typing (with fingers).by tinyspacewizard 4y ago... a type inference system means that typing (of data) need not involve extra typing (with fingers).