Более быстрый доступ, чем браузер!
17 отношения: Hello, world!, Каррирование, Комбинаторная логика, Параметр (программирование), Побочный эффект (программирование), Полнота по Тьюрингу, Объект первого класса, Английский язык, Аппликативное программирование, Тип данных, Тождественное отображение, Функция (программирование), Функциональное программирование, Чистота языка программирования, Эзотерический язык программирования, Лямбда-исчисление, Ленивые вычисления.
Hello, world!
Пример «Hello world» с графическим интерфейсом на GTK+. На заднем плане gedit с исходным кодом на Perl «Hello world» на графическом языке Piet «Hello, world!» — программа, результатом работы которой является вывод на экран или иное устройство фразы «Hello, world!» (в дословном переводе с английского — «Привет, мир!»; представляет собой распространённое неформальное приветствие, близкое к русскому «всем привет!»).
Новый!!: Unlambda и Hello, world! · Узнать больше »
Каррирование
Каррирование (от currying, иногда — карринг) — преобразование функции от многих аргументов в набор функций, каждая из которых является функцией от одного аргумента.
Новый!!: Unlambda и Каррирование · Узнать больше »
Комбинаторная логика
Комбина́торная ло́гика — направление математической логики, занимающееся фундаментальными (то есть не нуждающимися в объяснении и не анализируемыми) понятиями и методами формальных логических систем или исчислений.
Новый!!: Unlambda и Комбинаторная логика · Узнать больше »
Параметр (программирование)
Пара́метр в программировании — принятый функцией аргумент.
Новый!!: Unlambda и Параметр (программирование) · Узнать больше »
Побочный эффект (программирование)
Побо́чные эффе́кты (side effects) — любые действия работающей программы, изменяющие среду выполнения (execution environment).
Новый!!: Unlambda и Побочный эффект (программирование) · Узнать больше »
Полнота по Тьюрингу
Полнота по Тьюрингу — характеристика исполнителя (множества вычисляющих элементов) в теории вычислимости, означающая возможность реализовать на нём любую вычислимую функцию.
Новый!!: Unlambda и Полнота по Тьюрингу · Узнать больше »
Объект первого класса
Объектами первого класса (first-class object, first-class entity, first-class citizen) в контексте конкретного языка программирования называются элементы, которые могут быть переданы как параметр, возвращены из функции, присвоены переменной.
Новый!!: Unlambda и Объект первого класса · Узнать больше »
Английский язык
Государства и регионы, где английский язык является одним из официальных, но не является языком большинства населения Англи́йский язы́к (самоназвание — English, the English language) — язык англо-фризской подгруппы западной группы германской ветви индоевропейской языковой семьи.
Новый!!: Unlambda и Английский язык · Узнать больше »
Аппликативное программирование
Аппликативное программирование — один из видов декларативного программирования, в котором написание программы состоит в систематическом осуществлении применения одного объекта к другому.
Новый!!: Unlambda и Аппликативное программирование · Узнать больше »
Тип данных
Тип данных (тип) — множество значений и операций на этих значениях (IEEE Std 1320.2-1998).
Новый!!: Unlambda и Тип данных · Узнать больше »
Тождественное отображение
Тожде́ственное отображе́ние в математике — отображение, переводящее аргумент в себя.
Новый!!: Unlambda и Тождественное отображение · Узнать больше »
Функция (программирование)
Фу́нкция в программировании — фрагмент программного кода (подпрограмма), к которому можно обратиться из другого места программы.
Новый!!: Unlambda и Функция (программирование) · Узнать больше »
Функциональное программирование
Функциона́льное программи́рование — раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних (в отличие от функций как подпрограмм в процедурном программировании).
Новый!!: Unlambda и Функциональное программирование · Узнать больше »
Чистота языка программирования
Чистота́ (в отношении языка программирования) — отсутствие побочных эффектов.
Новый!!: Unlambda и Чистота языка программирования · Узнать больше »
Эзотерический язык программирования
Эзотерический язык программирования — язык программирования, разработанный для исследования границ возможностей разработки языков программирования, для доказательства потенциально возможной реализации некой идеи (так называемое «доказательство концепции», proof of concept), в качестве или в качестве шутки (компьютерного юмора).
Новый!!: Unlambda и Эзотерический язык программирования · Узнать больше »
Лямбда-исчисление
Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости.
Новый!!: Unlambda и Лямбда-исчисление · Узнать больше »
Ленивые вычисления
Ленивые вычисления (lazy evaluation, также отложенные вычисления) — применяемая в некоторых языках программирования стратегия вычисления, согласно которой вычисления следует откладывать до тех пор, пока не понадобится их результат.
Новый!!: Unlambda и Ленивые вычисления · Узнать больше »
