RETURN TO BLOG

#type-systems


Unifying Dynamic Type Tests and Type Refinement September 3rd

Some typecheckers understand dynamic type tests, thus avoiding downcasting.