4 ms·Why not go for global type inference? Should be possible with the relatively simple type systemby ice-bergg 3y agoWhy not go for global type inference? Should be possible with the relatively simple type system