Type Checking Extracted Methods
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...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
AOSA Inc.
2022
|
| Subjects: | |
| Online Access: | View Fulltext in Publisher |