Значение словосочетания «функциональный тип»
-
Функциональный тип (стрелочный тип, экспоненциал) в информатике — тип переменной или параметра, значением которой или которого может быть функция; либо тип аргумента или возвращаемого значения функции высшего порядка, принимающей или возвращающей функцию.
Функциональный тип зависит от типов параметров и типа результата функции. Другими словами, это тип высшего рода, или, более точно, неприменённый конструктор типов «
⋅
→
⋅
{\displaystyle \cdot \to \cdot }
». В теоретических моделях и языках с поддержкой каррирования, например в просто типизированном лямбда-исчислении, функциональный тип зависит ровно от двух типов: области определения
A
{\displaystyle A}
и области значений
B
{\displaystyle B}
. В этом случае функциональный тип, следуя математической традиции, обычно записывают как
A
→
B
{\displaystyle A\to B}
(в практических языках программирования — A -> B), или как
B
A
{\displaystyle B^{A}}
, подразумевая, что существует ровно
|
B
|
|
A
|
{\displaystyle |B|^{|A|}}
теоретико-множественных функций, отображающих
A
{\displaystyle A}
на
B
{\displaystyle B}
. С точки зрения соответствия Карри — Ховарда обитаемость функционального типа
A
→
B
{\displaystyle A\to B}
эквивалентна доказуемости логической импликации
A
⇒
B
{\displaystyle A\Rightarrow B}
.
Функциональный тип можно рассматривать как частный случай зависимого произведения типов. Среди прочих свойств, такое представление несёт в себе идею полиморфной функции.
Источник: Википедия
Делаем Карту слов лучше вместе
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: англофобия — это что-то нейтральное, положительное или отрицательное?
Синонимы к словосочетанию «функциональный тип»
Предложения со словосочетанием «функциональный тип»
- Прежде всего необходимо отметить, что вне зависимости от техники физиологического влияния и функциональных типов массаж может быть как общим, так и локальным.
- Деление массажа на функциональные типы неизменно наличествует в рамках любой массажной школы.
- Хоть два названных функциональных типа и являются смежными, но всё-таки это не одно и то же.
- (все предложения)
Сочетаемость слова «функциональный»
Сочетаемость слова «тип»
Понятия, связанные со словосочетанием «функциональный тип»
-
Модальность (от лат. modus — размер, способ, образ) в разных предметных областях — категория, характеризующая способ действия или отношение к действию...
-
Мода́льность (от лат. modus — способ) — принадлежность отражаемого раздражителя к определённой сенсорной системе; качественность определённости ощущений. Модальность обусловлена строением органов чувств и особенностями среды, воздействующей на них.
-
Определяющий предикат представляет собой единство собственного предиката с выражением сущности предмета, фиксируемого родовым предикатом. Таким образом, определяющий предикат - это «комплексный» дефиниционный предикат, представленный в своём полном наборе признаков структурным компонентом (отношением тождества, включения и аддиции) и комплексным семантическим компонентом (родовой (классной) семантикой и семантикой дистинкции).
-
Перцепти́вная фоне́тика (лат. perceptio — «восприятие») — раздел фонетики, рассматривающий восприятие звуков речи человеческими органами слуха. Отвечает на вопрос о том, какие звуковые свойства существенны для восприятия речи человеком (например, для опознания определённой фонемы) с учётом меняющихся акустических и артикуляционных характеристик речевых сигналов, то есть каковы перцептивные корреляты релевантных (существенных) признаков фонем и просодем.
-
Компоне́нтный ана́лиз — в языкознании: метод исследования плана содержания значимых единиц языка, целью которого является разложение значения на минимальные семантические составляющие. Основан на гипотезе о том, что значение всякой языковой единицы состоит из семантических компонентов (сем) и словарный состав языка может быть описан с помощью ограниченного (сравнительно небольшого) числа семантических признаков.
- (все понятия)
Афоризмы русских писателей со словом «тип»
- Истинным художникам равно удаются типы и негодяев, и порядочных людей.
- Стих Пушкина — это вековечный образец, неумирающий тип русского стиха: не было и не будет лучшего.
- У истинного таланта каждое лицо — тип, и каждый тип для читателя есть знакомый незнакомец.
- (все афоризмы русских писателей)
Отправить комментарий
Предложения со словосочетанием «функциональный тип»
Прежде всего необходимо отметить, что вне зависимости от техники физиологического влияния и функциональных типов массаж может быть как общим, так и локальным.
Деление массажа на функциональные типы неизменно наличествует в рамках любой массажной школы.
Хоть два названных функциональных типа и являются смежными, но всё-таки это не одно и то же.
- (все предложения)
Синонимы к словосочетанию «функциональный тип»
- словообразовательный тип
- структурный тип
- различные типы
- определённые типы
- разные типы
- (ещё синонимы...)