3 ms·The main advantage is that the type system is sound. The compiler does full type inference.by nesarkvechnep 4y agoThe main advantage is that the type system is sound. The compiler does full type inference.