type erasure

process by which explicit type annotations are removed from a program

en-GB/ˈtaɪp ɪˈɹeɪʒə/
en-US/ˈtaɪp ɪˈɹeɪʃɚ/

Kategorien:

inference typing