type erasure

process by which explicit type annotations are removed from a program

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

دسته بندی ها:

inference typing