Տիպիզացված ֆունկցիոնալ ծրագրերի իրականացման մասին / On interpreters of typed functional programs

Abstract

Աշխատանքը նվիրված է ֆունկցիոնալ ծրագրավորման հիմունքներին։ Հետազոտման առարկա են հանդիսանում տիպիզացված ֆունկցիոնալ ծրագրերը, իսկ հիմնական դիտարկվող խնդիրը՝ ծրագրի կողմից որոշվող ֆունկցիայի հաշվարկման ֆունդամենտալ խնդիրն է / Работа посвящена проблемам функционального программирования. Объектом исследования являются типизированные a основной рассматриваемой проблемой-фундаментальная задача определяемой программой функции / The thesis is devoted to the problems of functional programming. The object of the research is typed functional programs, and the main problem under consideration is the fundamental task of computation of the function determined by the progra