Придумать и решить примеры для предмета Теория Типов

придумать и решить примеры для следующих тематических областей:

Нетипичный язык NBL :

Формулировка типового терма t.

Построение абстрактного синтаксического дерева.

Проверить, что терм t принадлежит языку терминов NBL.

Определение констант терма t.

Определение размера терма t.

Оценка терма t.

Типичный язык NBL;

Формулировка типового терма t.

Проверка того, что терма t тпизирован правильно.

Оценка терма t.

Нетипичные λ-исчесления;

Рекурсия в нетипизированном λ-исчислении. 1 пример рекурсивной функции, вычисляемой сумматором с фиксированной точкой в ​​нетипизированном λ-исчислении.

Производные формы термов типизированного λ-исчисления;

Проверить тип термина t.

Оцените термина t.

Перепишите термин t на основной язык λ-исчисления.

Типизированное λ-исчисление с типом функционала, произведения и суммы;

Формулировка термина t с использованием по крайней мере бинарного типа продукта.

Проверка того, что термин t набран правильно.

Оценка термина t.

Структуры данных в типизированном λ-исчислении;

Определение и примерное решение задачи по записи структуры данных.

Определение и примерное решение задачи о структуре данных вариантов.

Определение и примерное решение задачи о структуре данных вариантов с использованием перечислимого типа.

В прикрепленном файле пример решения задач