3 ms·All it needs now to be perfect is Hindley-Milner type inference.by eudox 13y agoAll it needs now to be perfect is Hindley-Milner type inference.