type erasure

process by which explicit type annotations are removed from a program

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

Kategorie:

inference typing