Значение словосочетания «вывод типов»
-
Вывод типов (англ. type inference) — в программировании возможность компилятора самому логически вывести тип значения у выражения. Впервые механизм вывода типов был представлен в языке ML, где компилятор всегда выводит наиболее общий полиморфный тип для всякого выражения. Это не только сокращает размер исходного кода и повышает его лаконичность, но и нередко повышает повторное использование кода.
Вывод типов характерен для функциональных языков программирования, хотя со временем он был частично реализован и в объектно-ориентированных языках (C#, D, Visual Basic .NET, C++11, Vala, Go, Java), где ограничивается возможностью опустить тип идентификатора в определении с инициализацией (см. синтаксический сахар). Например:
Источник: Википедия
Делаем Карту слов лучше вместе
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: баяти — это что-то нейтральное, положительное или отрицательное?
Нейтральное
Положительное
Отрицательное
Не знаю
Синонимы к словосочетанию «вывод типов»
Предложения со словосочетанием «вывод типов»
- Поскольку научные исследования, как правило, не дают однозначных выводов типа «это хорошо, а это плохо», особое внимание уделяется оценке их методологии и степени доказательности.
- Стремясь дойти до самой сути, он не любил неопределённости, вялых выводов типа «играть можно», «заслуживает внимания» или «прямого опровержения вроде не видно», и всегда старался достигнуть конкретных результатов.
- Скажем, я соотнесла и даже сделала глубокомысленные выводы типа «Неча на зеркало пенять, коли у самой рожа стара».
- (все предложения)
Сочетаемость слова «вывод»
Сочетаемость слова «тип»
Понятия со словосочетанием «вывод типов»
-
Вывод типов (англ. type inference) — в программировании возможность компилятора самому логически вывести тип значения у выражения. Впервые механизм вывода типов был представлен в языке ML, где компилятор всегда выводит наиболее общий полиморфный тип для всякого выражения. Это не только сокращает размер исходного кода и повышает его лаконичность, но и нередко повышает повторное использование кода.
- (все понятия)
Афоризмы русских писателей со словом «вывод»
- Приняв основание, как не принять выводов?
- Гражданин нации, кто бы он ни был, есть не что иное, как ее единица, солдат в рядах — и один за целую, развитую нацию отвечать и решать не может! Пусть он в теории, путем философии и других наук, делает выводы, строит доктрины, но он обязан служить злобе дня, данному моменту в текущей жизни.
- Ошибка в выводах указывает на ошибочность работы исследователя; ошибочность примененного метода — на порок самого исследователя.
- (все афоризмы русских писателей)
Отправить комментарий
Предложения со словосочетанием «вывод типов»
Поскольку научные исследования, как правило, не дают однозначных выводов типа «это хорошо, а это плохо», особое внимание уделяется оценке их методологии и степени доказательности.
Стремясь дойти до самой сути, он не любил неопределённости, вялых выводов типа «играть можно», «заслуживает внимания» или «прямого опровержения вроде не видно», и всегда старался достигнуть конкретных результатов.
Скажем, я соотнесла и даже сделала глубокомысленные выводы типа «Неча на зеркало пенять, коли у самой рожа стара».
- (все предложения)
Синонимы к словосочетанию «вывод типов»
- алгебраический тип данных
- абстрактный тип данных
- ленивые вычисления
- статическая типизация
- прототип функции
- (ещё синонимы...)