Предложения со словосочетанием «вывод типов»
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: дымянка — это что-то нейтральное, положительное или отрицательное?
Синонимы к словосочетанию «вывод типов»
Сочетаемость слова «вывод»
Сочетаемость слова «тип»
Значение словосочетания «вывод типов»
Вывод типов (англ. type inference) — в программировании возможность компилятора самому логически вывести тип значения у выражения. Впервые механизм вывода типов был представлен в языке ML, где компилятор всегда выводит наиболее общий полиморфный тип для всякого выражения. Это не только сокращает размер исходного кода и повышает его лаконичность, но и нередко повышает повторное использование кода. (Википедия)
Афоризмы русских писателей со словом «вывод»
- Приняв основание, как не принять выводов?
- Гражданин нации, кто бы он ни был, есть не что иное, как ее единица, солдат в рядах — и один за целую, развитую нацию отвечать и решать не может! Пусть он в теории, путем философии и других наук, делает выводы, строит доктрины, но он обязан служить злобе дня, данному моменту в текущей жизни.
- Ошибка в выводах указывает на ошибочность работы исследователя; ошибочность примененного метода — на порок самого исследователя.
- (все афоризмы русских писателей)
Отправить комментарий
Значение словосочетания «вывод типов»
Вывод типов (англ. type inference) — в программировании возможность компилятора самому логически вывести тип значения у выражения. Впервые механизм вывода типов был представлен в языке ML, где компилятор всегда выводит наиболее общий полиморфный тип для всякого выражения. Это не только сокращает размер исходного кода и повышает его лаконичность, но и нередко повышает повторное использование кода.
Все значения словосочетания «вывод типов»Синонимы к словосочетанию «вывод типов»
- алгебраический тип данных
- абстрактный тип данных
- ленивые вычисления
- статическая типизация
- прототип функции
- (ещё синонимы...)