2 ms·ML is actually the poster child of static typing with its Hindley-Milner type inference.by mseepgood 14y agoML is actually the poster child of static typing with its Hindley-Milner type inference.