Informatics

$\lambda$-definability of built-in McCarthy functions as functions with indeterminate values of arguments

[$\lambda$-определимость встроенных функций Маккарти как функций с неопределенными значениями аргументов]

S. A. Nigiyan

Yerevan State University

Аннотация: Встроенные функции языков программирования являются функциями с неопределенными значениями аргументов. Встроенные функции Маккарти $car,~cdr,~cons,~null,~atom,~if,~eq,~not,~ and,~or$ используются во всех функциональных языках программирования. В данной статье показана $\lambda$-определимость встроенных функций Маккарти как функций с неопределенными значениями аргументов. Этот результат необходим при трансляции типизированных функциональных языков программирования в бестиповые функциональные языки программирования.

Ключевые слова: built-in McCarthy functions, indeterminate values of arguments, $\lambda$-definability.

MSC: 68N18

Поступила в редакцию: 22.11.2018
Исправленный вариант: 23.05.2019
Принята в печать: 20.09.2019

Язык публикации: английский