Зміст:
Визначення - Що означає умовивід типу?
Висновок типу - це автоматичне виведення типів даних конкретних виразів у мові програмування, зазвичай це робиться під час компіляції. Він передбачає аналіз програми, а потім виведення різних типів деяких або всіх виразів у цій програмі, щоб програмісту не потрібно було чітко вводити та визначати типи даних кожного разу, коли в програмі використовуються змінні.Техопедія пояснює виведення типу
Вибір типу часто є компіляторною функцією функціональних мов програмування, а не об'єктно-орієнтованих. Компілятору чи інтерпретатору потрібна лише мінімальна інформація, а також контекст, щоб зрозуміти, що таке тип даних змінної чи вирази.
Алгоритм висновку намагається визначити типи аргументів, а також тип повернутого значення, а потім намагається знайти найбільш конкретний тип даних, який працює з усіма аргументами. В якості основного прикладу розглянемо функцію Foo (a, b) = x + y; компілятор знає, що оператор "+" приймає два цілих числа, а також повертає ціле число, тому зараз компілятор або інтерпретатор може зробити висновок про те, що Foo також має ціле число.
