Login
From:
Varun Ramesh's Blog
(Uncensored)
subscribe
Unifying Dynamic Type Tests and Type Refinement - Varun Ramesh's Blog
https://blog.varunramesh.net/posts/understanding-dynamic-typechecks/
links
backlinks
Roast topics
Find topics
Find it!
Some typecheckers understand dynamic type tests, thus avoiding downcasting.
