Обзор реализации основных возможностей функционального языка программирования в среде PascalABC.NET

Реализовано с помощью узлов синтаксического дерева PascalABC :

• Подключение внешних сборок (import)
• Типы данных : булевский, вещественный, целый, символьный и строки
• Простые операции с ними
• Описание функций и главная функция main
• Сопоставление с образцом
• if, case, охранные выражения
• Операторы do, print, return
• Локальные переменные (where)
• Списки (перечислимые, прогрессии, бесконечные)
• Оператор ‘:’
• Частично обработка ошибок
• Комментарии --, <--, -->

Обзор

1. Математическим фундаментом функционального программирования является лямбда-исчисление. Такие языки как Haskell и Clean имеют 100% соответствие своей семантики с семантикой подразумеваемых конструкций лямбда-исчисления. Используя лямбда-абстракции можно определить булевские значения и условия, пары и кортежи и даже натуральные числа.