Содержание
11 отношения: Haskell, ISWIM, Параметр (программирование), Параметрический полиморфизм, Переменная типа, Адэр, Дэниел, Стратегия вычисления, Список языков программирования по категориям, Тип, гарантирующий уникальность, Функциональное программирование, Чистота языка программирования.
Haskell
Haskell — стандартизированный чистый функциональный язык программирования общего назначения.
Посмотреть Clean и Haskell
ISWIM
ISWIM — абстрактный язык программирования (или семейство языков программирования) описанный Питером Лэндином (Peter J. Landin) в его статье «» («The Next 700 Programming Languages»), которая была опубликована в «the Communications of the ACM» в 1966 году.
Посмотреть Clean и ISWIM
Параметр (программирование)
Пара́метр в программировании — принятый функцией аргумент.
Посмотреть Clean и Параметр (программирование)
Параметрический полиморфизм
Параметрический полиморфизм в языках программирования и теории типов представляет собой свойство семантики системы типов, позволяющее обрабатывать значения разных типов идентичным образом, то есть исполнять физически один и тот же код для данных разных типов.
Посмотреть Clean и Параметрический полиморфизм
Переменная типа
В языках программирования и теории типов, переменная типа или ти́повая переменная (type variable) — математическая переменная, которая может принимать значение из множества типов данных.
Посмотреть Clean и Переменная типа
Адэр, Дэниел
Дэниел Патрик Адэр (родился) — канадский барабанщик, известный в основном как постоянный ударник рок-группы «Nickelback».
Посмотреть Clean и Адэр, Дэниел
Стратегия вычисления
Стратегия вычисления (evaluation strategy) — правила семантики языка программирования, определяющие, когда следует вычислять аргументы функции (метода, операции, отношения), и какие значения следует передавать.
Посмотреть Clean и Стратегия вычисления
Список языков программирования по категориям
Приведён список языков программирования, сгруппированных по категориям.
Посмотреть Clean и Список языков программирования по категориям
Тип, гарантирующий уникальность
В некоторых языках программирования применяется концепция типа, гарантирующего уникальность.
Посмотреть Clean и Тип, гарантирующий уникальность
Функциональное программирование
Функциона́льное программи́рование — раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних (в отличие от функций как подпрограмм в процедурном программировании).
Посмотреть Clean и Функциональное программирование
Чистота языка программирования
Чистота́ (в отношении языка программирования) — отсутствие побочных эффектов.
Посмотреть Clean и Чистота языка программирования