Poof Language

Функциональный язык программирования на основе лямбда-исчисления.

Пример

spell fact n ->
  if n == 0
    then 1
    else n * (cast fact with n - 1)

whisper (cast fact with 0)
whisper (cast fact with 1)
whisper (cast fact with 5)
whisper (cast fact with 10)

Быстрый старт

git clone https://github.com/MAILabs-Edu-2026/funcpro-coursework-hope-squad.git
cd funcpro-coursework-hope-squad
dotnet build poof
dotnet run --project poof -- examples/factorial.poof

Синтаксис

Конструкция	Пример
Переменная	`bind x to 42`
Функция	`spell double n -> n * 2`
Вызов	`cast double with 5`
Условие	`if x > 0 then 1 else -1`
Список	`[1, 2, 3]`
Map	`enchant (x -> x*2) [1,2,3]`
Filter	`sieve (x -> x>2) [1,2,3,4]`
Вывод	`whisper "Hello"`
Ввод	`listen`

Примеры

examples/factorial.poof — факториал
examples/fibonacci.poof — числа Фибоначчи
examples/fizzbuzz.poof — FizzBuzz
examples/quicksort.poof — быстрая сортировка
examples/y_combinator.poof — Y-комбинатор

Авторы

Екатерина Чуканова — интерпретатор + рекурсия
Валерия Никишина — AST + парсер
Ирина Бычкова — документация + примеры

Использование ИИ

ИИ помогал с:

Объяснением синтаксиса и концепций F#
Генерацией начальных версий лексера и парсера
Отладкой ошибок компилятора
Предложением исправлений
Написанием тестов

ИИ не делал: интерпретатор, архитектурные решения, понимание багов без нашего объяснения.

Чему научились: Работа с ИИ требует глубокого понимания кода. ИИ — помощник, а не автор.