22-07-2023
Класс языка: |
мультипарадигменный: функциональный, конкатенативный, стековый |
---|---|
Появился в: |
2001 |
Автор(ы): | |
Типизация данных: | |
Основные реализации: |
Joy0, Joy1, "Current Joy", "John Cowan's Joy", "JoyJ (Joy in jvmm)" |
Испытал влияние: | |
Повлиял на: |
Язык программирования Joy — это чисто функциональный язык разработанный Manfred von Thun из Университета La Trobe (англ.) в Мельбурне, Австралия. Joy базируется на композиции функций, а не на лямбда-исчислении. Это язык, родственный Форту, хотя и не является его прямым наследником. В настоящее время Joy считается каноническим примером языка конкатенативного программирования.[1]
Содержание |
Joy отличается от других языков программирования (за исключением языков комбинаторного программирования и некоторых эзотерических, таких, как unlambda) отсутствие лямбда оператора, и, следовательно, отсутствие формальных параметров. Чтобы проиллюстрировать это приведём пример, как функция возведения в квадрат может быть определена в языке императивного программирования (C):
int square(int x) { return x*x; }
Переменная х является формальным параметром, заменяемым на фактическое значение, которое необходимо возвести в квадрат, при вызове функции. В функциональном языке (Scheme) та же функция определяется следующим образом:
(define square (lambda (x) (* x x)))
Между этими двумя примерами много различий, но они используют формальные параметры сходным образом. В Joy же функция возведения в квадрат определяется как:
DEFINE square == dup * .
Всё в Joy, является функциями, принимающими стек как аргумент, и возвращающими стек в качестве результата. К примеру, цифра «5» является не целой константой, но короткой программой, помещающей число 5 на стек.
Таким образом функция возведения в квадрат просто дублирует верхний элемент, а затем перемножает его на самоё себя, формальные параметры не нужны. Это делает Joy лаконичным, о чем свидетельствует следующее определение быстрой сортировки:
DEFINE qsort == [small] [] [uncons [>] split] [[swap] dip cons concat] binrec .
«binrec» — один из многих существующих в Joy рекурсивных комбинаторов, реализующий бинарную рекурсию. Он ожидает наличие на стеке четырёх программных литералов, которые представляют собой:
Это заготовка статьи о компьютерных языках. Вы можете помочь проекту, исправив и дополнив её. |
Joy (язык программирования).