Checking that variable X has type T with type annotations implies that X's value is of type T or a subtype of T. After such a check, it is a good practice ...
確定! 回上一頁