2 ms·Type Inference Algorithm in TypeScript for Higher Rank Polymorphic Types2 points by cdiggins 9y ago