Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
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
Some typecheckers understand dynamic type tests, thus avoiding downcasting.
