3 ms·I agree, but for complex type systems versus Java-style type systems.by dullcrisp 3y agoI agree, but for complex type systems versus Java-style type systems.