3 ms·best type-checking system in my experience has been F#. You don't even have to declare types.by dzonga 6y agobest type-checking system in my experience has been F#. You don't even have to declare types.