Wymazanie typu

W językach programowania wymazywanie typu to proces w czasie ładowania , w którym jawne adnotacje typu są usuwane z programu, zanim zostanie on wykonany w czasie wykonywania . Semantyka operacyjna, która nie wymaga, aby programom towarzyszyły typy, nazywa się semantyką wymazywania typów , w przeciwieństwie do semantyki przekazywania typów . Semantyka wymazywania typów jest zasadą abstrakcji , zapewniającą, że wykonywanie programu w czasie wykonywania nie zależy od informacji o typie. W kontekście programowanie generyczne , przeciwieństwem wymazywania typów, jest reifikacja .

Wpisz wnioskowanie

Główny artykuł: wnioskowanie o typie

Operacja odwrotna nosi nazwę typu inference . Chociaż wymazywanie typu może być łatwym sposobem na zdefiniowanie pisania w językach z niejawnym pisaniem (niejawnie wpisany termin jest dobrze wpisany wtedy i tylko wtedy, gdy jest to wymazanie dobrze wpisanego jawnie wpisanego terminu lambda ), nie wymaga algorytmu aby sprawdzić niejawnie wpisane warunki.

Zobacz też

• Szablon (C++)
• Problemy z wymazywaniem typu (w Generics w Javie )
• Typ polimorfizmu

•   Crary, Karol; Weirich, Stephanie ; Morrisett, Greg (2002). „Intensywny polimorfizm w semantyce wymazywania czcionek”. Dziennik programowania funkcjonalnego . 12 (6): 567–600. CiteSeerX 10.1.1.5.4507 . doi : 10.1017/S0956796801004282 .