4 ms·The type system can verify values as well, but can do so more exhaustively than you can practically test.by codygman 10y agoThe type system can verify values as well, but can do so more exhaustively than you can practically test.