Более быстрый доступ, чем браузер!
34 отношения: C Sharp, C++11, Go, Haskell, Objective-C, OCaml, Scala (язык программирования), Standard ML, Композиция функций, Континуум (теория множеств), Параллелизм (информатика), Параметр (программирование), Параметрический полиморфизм, Пирс, Бенджамин, Полнота по Тьюрингу, Переменная (программирование), Область значений функции, Область определения функции, Натуральное число, Непрерывность по Скотту, Счётное множество, Си (язык программирования), Соответствие Карри — Ховарда, Тип возвращаемого значения, Функция (программирование), Функция высшего порядка, Функции первого класса, Частично упорядоченное множество, Экспоненциал, Импликация, Информатика, Блоки (расширение языка Си), Вычислимая функция, Декартово замкнутая категория.
C Sharp
C# (произносится си шарп) — объектно-ориентированный язык программирования.
Новый!!: Функциональный тип и C Sharp · Узнать больше »
C++11
C++11 или ISO/IEC 14882:2011 (в процессе работы над стандартом носил условное наименование C++0x) — новая версия стандарта языка C++, вместо ранее действовавшего ISO/IEC 14882:2003.
Новый!!: Функциональный тип и C++11 · Узнать больше »
Go
Go (часто также Golang) — компилируемый многопоточный язык программирования, разработанный внутри компании Google.
Новый!!: Функциональный тип и Go · Узнать больше »
Haskell
Haskell — стандартизированный чистый функциональный язык программирования общего назначения.
Новый!!: Функциональный тип и Haskell · Узнать больше »
Objective-C
Objective-C — компилируемый объектно-ориентированный язык программирования, используемый корпорацией Apple, построенный на основе языка Си и парадигм Smalltalk.
Новый!!: Функциональный тип и Objective-C · Узнать больше »
OCaml
OCaml (Objective Caml) — современный объектно-ориентированный язык функционального программирования общего назначения, который был разработан с учётом безопасности исполнения и надёжности программ.
Новый!!: Функциональный тип и OCaml · Узнать больше »
Scala (язык программирования)
Scala — мультипарадигмальный язык программирования, спроектированный кратким и типобезопасным для простого и быстрого создания компонентного программного обеспечения, сочетающий возможности функционального и объектно-ориентированного программирования.
Новый!!: Функциональный тип и Scala (язык программирования) · Узнать больше »
Standard ML
— компилируемый язык программирования общего назначения, основанный на системе типов Хиндли — Милнера.
Новый!!: Функциональный тип и Standard ML · Узнать больше »
Композиция функций
Компози́ция фу́нкций (или суперпози́ция фу́нкций) — это применение одной функции к результату другой.
Новый!!: Функциональный тип и Композиция функций · Узнать больше »
Континуум (теория множеств)
Конти́нуум в теории множеств — мощность (или кардинальное число) множества всех вещественных чисел.
Новый!!: Функциональный тип и Континуум (теория множеств) · Узнать больше »
Параллелизм (информатика)
«Задача об обедающих философах» — классическая проблема с параллелизмом и разделяемыми ресурсами. В информатике параллели́зм — это свойство систем, при котором несколько вычислений выполняются одновременно, и при этом, возможно, взаимодействуют друг с другом.
Новый!!: Функциональный тип и Параллелизм (информатика) · Узнать больше »
Параметр (программирование)
Пара́метр в программировании — принятый функцией аргумент.
Новый!!: Функциональный тип и Параметр (программирование) · Узнать больше »
Параметрический полиморфизм
Параметрический полиморфизм в языках программирования и теории типов представляет собой свойство семантики системы типов, позволяющее обрабатывать значения разных типов идентичным образом, то есть исполнять физически один и тот же код для данных разных типов.
Новый!!: Функциональный тип и Параметрический полиморфизм · Узнать больше »
Пирс, Бенджамин
Бенджамин Пирс (Benjamin Peirce) — американский астроном и математик.
Новый!!: Функциональный тип и Пирс, Бенджамин · Узнать больше »
Полнота по Тьюрингу
Полнота по Тьюрингу — характеристика исполнителя (множества вычисляющих элементов) в теории вычислимости, означающая возможность реализовать на нём любую вычислимую функцию.
Новый!!: Функциональный тип и Полнота по Тьюрингу · Узнать больше »
Переменная (программирование)
Переме́нная в императивном программировании — поименованная, либо адресуемая иным способом область памяти, адрес которой можно использовать для осуществления доступа к данным.
Новый!!: Функциональный тип и Переменная (программирование) · Узнать больше »
Область значений функции
Область значений (или множество значений) функции — множество, состоящее из всех значений, которые принимает функция.
Новый!!: Функциональный тип и Область значений функции · Узнать больше »
Область определения функции
Область определения или область задания функции — множество, на котором задаётся функция.
Новый!!: Функциональный тип и Область определения функции · Узнать больше »
Натуральное число
Натуральные числа можно использовать для счёта (одно яблоко, два яблока и т. п.) Натура́льные чи́сла (от naturalis — естественный; естественные числа) — числа, возникающие естественным образом при счёте (например, 1, 2, 3, 4, 5, 6, 7, 8, 9…).
Новый!!: Функциональный тип и Натуральное число · Узнать больше »
Непрерывность по Скотту
Непрерывность по Скотту — свойство функций над частично упорядоченными множествами, выражающееся в сохранении точной верхней грани относительно отношения частичного порядка.
Новый!!: Функциональный тип и Непрерывность по Скотту · Узнать больше »
Счётное множество
В теории множеств, счётное мно́жество есть бесконечное множество, элементы которого возможно пронумеровать натуральными числами.
Новый!!: Функциональный тип и Счётное множество · Узнать больше »
Си (язык программирования)
Си (C) — компилируемый статически типизированный язык программирования общего назначения, разработанный в 1969—1973 годах сотрудником Bell Labs Деннисом Ритчи как развитие языка Би.
Новый!!: Функциональный тип и Си (язык программирования) · Узнать больше »
Соответствие Карри — Ховарда
Соответствие Карри — Ховарда (изоморфизм Карри — Ховарда, formulæ-as-types interpretation) — наблюдаемая структурная эквивалентность между математическими доказательствами и программами, которая может быть формализована в виде изоморфизма между логическими системами и типизированными исчислениями.
Новый!!: Функциональный тип и Соответствие Карри — Ховарда · Узнать больше »
Тип возвращаемого значения
В программировании тип возвращаемого значения (return type) или тип результата (result type) определяет и накладывает ограничения на тип данных, возвращаемых методом или функцией.
Новый!!: Функциональный тип и Тип возвращаемого значения · Узнать больше »
Функция (программирование)
Фу́нкция в программировании — фрагмент программного кода (подпрограмма), к которому можно обратиться из другого места программы.
Новый!!: Функциональный тип и Функция (программирование) · Узнать больше »
Функция высшего порядка
Фу́нкция вы́сшего поря́дка — в программировании функция, принимающая в качестве аргументов другие функции или возвращающая другую функцию в качестве результата.
Новый!!: Функциональный тип и Функция высшего порядка · Узнать больше »
Функции первого класса
В информатике язык программирования имеет функции первого класса, если он рассматривает функции как объекты первого класса.
Новый!!: Функциональный тип и Функции первого класса · Узнать больше »
Частично упорядоченное множество
Части́чно упоря́доченное мно́жество — математическое понятие, которое формализует интуитивные идеи упорядочения, расположения элементов в определённой последовательности.
Новый!!: Функциональный тип и Частично упорядоченное множество · Узнать больше »
Экспоненциал
Экспоненциал — теоретико-категорный аналог множества функций в теории множеств.
Новый!!: Функциональный тип и Экспоненциал · Узнать больше »
Импликация
Импликация (от implicatio — «связь») — бинарная логическая связка, по своему применению приближенная к союзам «если…, то…».
Новый!!: Функциональный тип и Импликация · Узнать больше »
Информатика
Информа́тика (Informatique; Computer science) — наука о методах и процессах сбора, хранения, обработки, передачи, анализа и оценки информации с применением компьютерных технологий, обеспечивающих возможность её использования для принятия решений.
Новый!!: Функциональный тип и Информатика · Узнать больше »
Блоки (расширение языка Си)
Блоки (blocks) — расширение языков программирования C, C++, Objective-C, не описанное в стандартах этих языков и созданное фирмой Apple.
Новый!!: Функциональный тип и Блоки (расширение языка Си) · Узнать больше »
Вычислимая функция
Вычислимые функции — это множество функций вида, f\colon N \to N, которые могут быть реализованы на машине Тьюринга.
Новый!!: Функциональный тип и Вычислимая функция · Узнать больше »
Декартово замкнутая категория
Декартово замкнутая категория — категория, допускающая каррирование, то есть, содержащая для каждого класса морфизмов A\to B некоторый объект A\Rightarrow B, представляющий его.
Новый!!: Функциональный тип и Декартово замкнутая категория · Узнать больше »
