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