Типизированное лямбда-исчисление
Типизированное лямбда-исчисление — это версия лямбда-исчисления, в которой лямбда-термам приписываются специальные синтаксические метки, называемые типами. Допустимы различные наборы правил конструирования и приписывания таких меток, они порождают различные системы типизации.

Типовые formula_1-исчисления являются фундаментальными примитивными языками программирования, которые обеспечивают основу типовым языкам функционального программирования — аппликативным языкам, — среди которых ML и Haskell, а также типовым императивным языкам программирования.

formula_1-исчисление с типами является языком декартово-замкнутой категории, что устанавливает прямую связь с такой моделью вычислений, как категориальная абстрактная машина. С одной точки зрения типовые formula_1-исчисления могут рассматриваться как специализации бестиповых formula_1-исчислений, а с другой — наоборот, типовые языки могут считаться более фундаментальными, из которых бестиповые получаются как частные случаи. Анализ этого явления дает теория вычислений Д. Скотта.

formula_1-исчисление с типами служит основой для разработки новых систем типизации для языков программирования, поскольку именно средствами типов и зависимостей между ними выражаются желаемые свойства программ.

В программировании самостоятельные вычислительные блоки (функции, процедуры, методы) языков программирования с сильной типизацией соответствуют типовым formula_1-выражениям.
Q242028
лямбда-исчисления
Concept
Q9143
языками программирования
Concept
Q193076
языкам функционального программирования
Concept
Q4068182
аппликативным языкам
Concept
Q860654
ML
MEDIA
Q34010
Haskell
MEDIA
Q1725874
декартово-замкнутой категории
Concept
Q2651576
моделью вычислений
Concept
Q4217267
категориальная абстрактная машина
UNK
Q844718
теория вычислений
Concept
Q49823
Д. Скотта
PER
None
систем типизации
UNK
Q80006
программировании
Concept
Q2607208
Типизированное лямбда-исчисление
Concept
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
subclass of
subclass of
instance of
programming paradigm
instance of
instance of