4 ms·The fact that we wanted the type system to be instantaneous drove some of our design decisions.by amenghra 13y agoThe fact that we wanted the type system to be instantaneous drove some of our design decisions.