Логотип
Юнионпедия
Связь
Доступно в Google Play
Новый! Скачать Юнионпедия на вашем Android™ устройстве!
Свободно
Более быстрый доступ, чем браузер!
 

Лямбда-куб

Индекс Лямбда-куб

λ-куб. Стрелка вдоль каждого ребра указывает на направление включения; более простая система является частным случаем более сложной. Ля́мбда-куб (λ-куб) — наглядная классификация восьми типизированных лямбда-исчислений с явным приписыванием типов (систем, типизированных по Чёрчу).

10 отношения: Agda, Coq, Glasgow Haskell Compiler, Haskell, ML, Просто типизированное лямбда-исчисление, Род (теория типов), Чёрч, Алонзо, Барендрегт, Хенк, 1991 год в науке.

Agda

Agda — чистый функциональный язык программирования с зависимыми типами, то есть типами, которые могут быть индексированы значениями другого типа.

Новый!!: Лямбда-куб и Agda · Узнать больше »

Coq

Coq (coq — петух) — интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами.

Новый!!: Лямбда-куб и Coq · Узнать больше »

Glasgow Haskell Compiler

Glasgow Haskell Compiler (Компилятор языка Haskell из Глазго) — один из самых мощных и развитых на сегодняшний день компиляторов функционального языка программирования Haskell, который разрабатывается свободной рабочей группой из многочисленных разработчиков, собранных по всему миру и координируемых из лаборатории университета Глазго.

Новый!!: Лямбда-куб и Glasgow Haskell Compiler · Узнать больше »

Haskell

Haskell — стандартизированный чистый функциональный язык программирования общего назначения.

Новый!!: Лямбда-куб и Haskell · Узнать больше »

ML

ML (Meta Language) — семейство строгих языков функционального программирования с развитой параметрически полиморфной системой типов и параметризуемыми модулями.

Новый!!: Лямбда-куб и ML · Узнать больше »

Просто типизированное лямбда-исчисление

Просто типизированное лямбда-исчисление (простое типизированное лямбда-исчисление, лямбда-исчисление с простыми типами, система \lambda^\rightarrow) — система типизированного лямбда-исчисления, в которой лямбда-абстракции приписывается специальный «стрелочный» тип.

Новый!!: Лямбда-куб и Просто типизированное лямбда-исчисление · Узнать больше »

Род (теория типов)

Род в теории типов (kind) — тип конструктора типов, или более формально, тип ти́пового оператора высшего порядка.

Новый!!: Лямбда-куб и Род (теория типов) · Узнать больше »

Чёрч, Алонзо

Алонзо Чёрч (Alonzo Church; 14 июня 1903 года, Вашингтон — 11 августа 1995 года, Хадсон, Огайо, США) — американский математик и логик, внесший значительный вклад в основы информатики.

Новый!!: Лямбда-куб и Чёрч, Алонзо · Узнать больше »

Барендрегт, Хенк

Хенк Барендрегт (Хендрик Питер Барендрегт, Hendrik Pieter Barendregt; родился 18 декабря 1947 года) — нидерландский и, исследователь λ-исчисления и теории типов, автор λ-куба.

Новый!!: Лямбда-куб и Барендрегт, Хенк · Узнать больше »

1991 год в науке

В '''1991''' году были различные научные и технологические события, некоторые из которых представлены ниже.

Новый!!: Лямбда-куб и 1991 год в науке · Узнать больше »

Перенаправления здесь:

Λ-куб.

ИсходящиеВходящий
Привет! Мы на Facebook сейчас! »