Spisu treści:
Definicja - Co oznacza wnioskowanie typu?
Wnioskowanie typu to automatyczne odejmowanie typów danych określonych wyrażeń w języku programowania, zwykle wykonywane w czasie kompilacji. Obejmuje to analizę programu, a następnie wnioskowanie o różnych typach niektórych lub wszystkich wyrażeń w tym programie, aby programista nie musiał jawnie wprowadzać i definiować typów danych za każdym razem, gdy w programie używane są zmienne.Techopedia wyjaśnia wnioskowanie typu
Wnioskowanie typu jest często funkcją kompilatora funkcjonalnych języków programowania, a nie obiektowych. Kompilator lub interpreter potrzebuje tylko minimalnych informacji, a także kontekstu, aby dowiedzieć się, jaki jest typ danych zmiennej lub wyrażenia.
Algorytm wnioskowania próbuje określić typy argumentów, a także typ wartości zwracanej, a następnie próbuje znaleźć najbardziej konkretny typ danych, który działa ze wszystkimi argumentami. Jako podstawowy przykład rozważmy funkcję Foo (a, b) = x + y; kompilator wie, że operator „+” przyjmuje dwie liczby całkowite, a także zwraca liczbę całkowitą, więc teraz kompilator lub interpreter może wywnioskować, że Foo ma również liczbę całkowitą typu.
