Author: Unknown
Subject: followup on type-checking
Date: Monday, 23 Mar 2020, 21:44:38

> Message Posted By: Unknown
    >
    > Following up on checking for invalid arguments: How do I check if a
    > variable is of a certain type?

You can only do so at compile-time.

>> I'm sorry, could you clarify what this implies? If errors can only be detected at compile-time, how do we pre-empt an error so as to print an error message and exit?