wiki-linki.ru - поиск статей википедии и связей между ними

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


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


Вопрос по теме Сформулируйте свой вопрос в одном предложении. Для вопросов и ответов используется сервис Отвечай.ru

Проект wiki-linki.ru основан на данных Wikipedia, доступной в соответствии с GNU Free Documentation License.