kojura

Копия с Гитхаба https://github.com/gitter-badger/kojura

Предупреждение

Этот проект является экспериментом и у автора нет никаких планов на него. Диагностика и контроль семантики очень слабые и с ошибками. Кроме того, синтаксис и семантика в "Кожуре" оригинальные и знание языков семейства Lisp вам не поможет. Автор сам не понимает что происходит и как это работает. От скобок текут слезы, а отладка программ на Кожуре доставляет боль. Хвостовая рекурсия не оптимизируется и это позволяет уронить платформу одной строчкой кода. Наличие функций высшего порядка и Лямбд возволяет писать работающий код, который через 5 минут не способен понять даже автор.

Общие положения

• Программа - это последовательность выражений
• Выражение - это либо число, либо строка, либо идентификатор, либо вызов функции
• Число - это последовательность цифр, которая может включать десятичную точку
• Строка - это последовательность символов в двойных кавычках
• Идентификатор - это последовательность любых символов из разрешенных, если первый символ не цифра и не двойная кавычка
• Разрешенные символы -
  abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ_=+-*/<>%!?* 0123456789абвгдеёжзийклмнопрстуфхцчшщъыьэюяАБВГДЕЁЖЗИЙКЛМНОПРСТУФХЦЧШЩЪЫЬЭЮЯ
• Вызов функции - это последовательность выражений в круглых скобках

Встроенные функции

• +
  - складывает первый аргумент с остальными по порядку
• -
  - вычитает из первого аргумента остальные по порядку; если аргумент один, то работает как унарный минус
• *
  - умножает первый аргумент на остальные по порядку
• /
  - делит первый аргумент на остальные по порядку
• %
  - берет остаток от деления первого аргумента на остальные по порядку
• =
  - возвращает
  Истина
  если все аргументы равны, иначе
  Ложь
  (работает лениво)
• >
  - возвращает
  Истина
  если во всех парах аргументов левый больше правого, иначе
  Ложь
  (работает лениво)
• <
  - возвращает
  Истина
  если во всех парах аргументов левый меньше правого, иначе
  Ложь
  (работает лениво)
• >=
  - возвращает
  Истина
  если во всех парах аргументов левый больше правого или равен ему, иначе
  Ложь
  (работает лениво)
• <=
  - возвращает
  Истина
  если во всех парах аргументов левый меньше правого или равен ему, иначе
  Ложь
  (работает лениво)
• <>
  - возвращает
  Истина
  если во всех парах аргументов левый не равен правому, иначе
  Ложь
  (работает лениво)
• И
  - возвращает
  Истина
  если все аргументы равны
  Истина
  , иначе
  Ложь
  (работает лениво)
• Или
  - возвращает
  Истина
  если хотя бы один аргумент равен
  Истина
  , иначе
  Ложь
  (работает лениво)
• Не
  - возвращает
  Истина
  если все аргументы равны
  Ложь
  (работает лениво)
• Функция
  - создает новую функцию и помещает в текущее окружение
  • форма 1:
    (Функция ИмяФункции ИмяПараметра {ПромежуточноеВыражение} Выражение)
  • форма 2:
    (Функция ИмяФункции (ИмяПараметра {ИмяПараметра}) {ПромежуточноеВыражение} Выражение)
• Если
  - возвращает одно из двух выражений по условию (работает лениво)
  • форма:
    (Если БулевоВыражение ВыражениеЕслиИстина ВыражениеЕслиЛожь)
• Выбор
  - возвращает одно из выражений по порядку по условию (работает лениво)
  • форма
    (Выбор ВыражениеКогда ВыражениеТогда {ВыражениеКогда ВыражениеТогда})
• Пусть
  - создает неизменяемую переменную и помещает ее в текущее окружение
  • форма:
    (Пусть ИмяПеременной Выражение)
• Лямбда
  - создает анонимную функцию
  • форма 1:
    (Функция ИмяПараметра {ПромежуточноеВыражение} Выражение)
  • форма 2:
    (Функция (ИмяПараметра {ИмяПараметра}) {ПромежуточноеВыражение} Выражение)
• Сообщить
  - выводит аргументы в панель сообщений (консоль)
  • форма:
    (Сообщить Выражение {Выражение})
• Список
  - создает список
  • форма:
    (Список Выражение {Выражение})
• Морда
  - получает значение первого элемента списка
  • форма:
    (Морда Выражение)
• Хвост
  - создает новый список из данного исключением первого элемента
  • форма:
    (Хвост Выражение)

Константы

• Истина
  - возвращает
  Истина
• Ложь
  - возвращает
  Ложь
• Неопределено
  - возвращает
  Неопределено