Yeah -- a dynamic language could provide an assertinstance() operation, which throws an error if the types don't match, without going all the way to a boolean i

Yeah -- a dynamic language could provide an assertinstance() operation, which throws an error if the types don't match, without going all the way to a boolean isinstance() check.