2 ms·That has been done by Haskell for example for decades. Look into Hindley-Milner type systems.by kaba0 4y agoThat has been done by Haskell for example for decades. Look into Hindley-Milner type systems.