Type Checking Extracted Methods
Published in The Art Science and Engineering of Programming • Nov 15, 2021
Authors:,
Yuquan Fu
Sam Tobin-Hochstadt
Abstract
Many object-oriented dynamic languages allow programmers to extract methods from objects and treat them as functions. This allows for flexible programming patterns, but presents challenges for type systems. In particular, a simple treatment of method extraction would require methods to be contravari...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!