Inferencja typów jest udogodnieniem dla programisty pozwalającym na nie pisanie typów, a zrzucającym ten obowiązek na kompilator .Udogodnienie to jest dostępne w przypadku języków typowanych statycznie tj. java czy c++. a polega to na określaniu typów wyrażeń podczas kompilacji programu.
[1]Procedura inferencji jest prosta: wylicza się typ ciała funkcji oraz jej argumentu, po czym jeśli:
- typ funkcja nie jest funkcyjny - oznacza to błąd
"not a function" - funkcja jest typu funkcyjnego, ale typ jej argumentu nie zgadza się z typem podanego argumentu - oznacza to błąd
"argument type mismatch" - jeśli funkcja jest typu funkcyjnego i typy argumentów się zgadzają wyrażenie ma wartość taką jaką zwraca funkcja
[1] - źródło encyklopedia internetowa
Brak komentarzy:
Prześlij komentarz