In this article, I will organize my thoughts on next-generation type-checking environments, drawing on the article tsrs: Up ...