Перфо.NET
Материал из ТХАБ.РФ
Версия от 22:54, 27 сентября 2020; Админ (обсуждение | вклад)
Перфо - интерпретируемый функциональный язык программирования - русскоязычный вариант языка похожего на Scheme (Lisp), унифицированный с языком Перфолента / 1С /OneScript. Полностью написан на языке Перфолента.NET также основан на платформе NET Framework. Пока существует тестовая Альфа версия для внутреннего тестирования участников телеграмм Канала. Расширение .perfo (.перфо ?). В качестве среды разработки используется среда Перфолента.NET. Последняя версия Перфо 0.4.7.0 от 27.09.2020
Содержание
Описание языка:
- есть 3 типа сущностей: Идентификаторы, Значения и Списки
- Значениями могут быть простые типы: строки, символы, числа, даты, булево (логический тип) и Неопределено, а также созданные во время выполнения объекты и делегаты действий (ссылки на Действия (функции))
- синтаксис значений такой же, как в языке Перфолента:
"строка" - строка, "С"с - символ, 4.537 - число, '23.07.2020' - дата, Правда/Ложь/Да/Нет - булево (логическая) , Неопределено
- Идентификатор - любой другой набор символов не содержащий пробельных символов: А1, $SYM, !!!Ошибка!!!
- Списки состоят из любых сущностей разделенных пробелами и заключенных в круглые скобки: (+ 3 4 5)
- Действие это список, первым элементом которого является идентификатор, а остальные элементы являются параметрами действия
(ИдентификаторДействия Параметр1 Параметр2 ... ПараметрН), например:
(мин 34 9 100)
- Идентификатор может быть вычисляемым
((Идент "ИдентификаторДействия") Параметр1 Параметр2 ... ПараметрН)
- Параметр Действия может быть любой сущностью или последовательностью
- Последовательность это список состоящий из любых сущностей (Идентификаторы, Значения и Списки), у которого первый элемент НЕ идентификатор. Т.е. все списки это или Последовательность или Действие. Пример последовательности:
(Значение1 Значение2 Значение3) или ((Действие1) (Действие2) (Действие3)) или ((Действие1) (Действие2) Значение1)
- Оператор это специальная форма действия, в которой смысл и назначение параметров, а так же их последовательность выполнения определены стандартом языка, например:
(Если (Условие) (СписокДействий1) (СписокДействий2)) или (Перем ИмяПеременной Значение)
- Делегаты Действий - это ссылки на Действия (функции)
Возвращаемые значения:
- Значение возвращает само себя (т.е. Значение)
- Идентификатор возвращает сопоставленное ему значение, в том числе, делегат действия, идентификатор или неопределено
- Действие может вернуть значение, делегат действия, идентификатор или неопределено
- оператор возвращает то, что определено стандартом языка
- последовательность возвращает результат последнего элемента последовательности
Важно
- Если использовать ключевое слово Число в качестве переменой: - в Перфо ключевых слов как таковых нет... если вы использовали одно из "ключевых слов" как имя функции или переменной, значит вы переопределили его назначение...
- Типы данных: Цитата: "В языке Scheme поддерживается ряд встроенных типов данных, таких как числовые типы, строковый тип, символьный тип, структурные типы (пара (pair), список и вектор) и некоторые другие, а также встроенные функции для работы со значениями этих типов."
разработчик Перфо расширил этот список и добавил в него все встроенные типы данных Перфолента.NET.
- в Перфо можно использовать многострочные строки.... т.е. вот так:
это первая строка текста это вторая строка текста это третья строка текста
вот в таких строках сейчас нельзя использовать комментарии!
См. также
- Учебник языка Перфо для школьников переделка учебника Scheme - наиболее полное в настоящий момент описание Перфо 0.4.7.0
- Введения в функциональный язык программирования Перфо
- Скрипты и программы на языке Перфо
- Перфолента.NET
- Перфо (Исходный код) языка программирования Перфо на Перфолента.NET
Ссылки
- https://habr.com/ru/company/tinkoff/blog/267015/ - Введение в Scheme (от Тинькофф Банка) - будет использоваться в качестве заготовки для Введения в функциональный язык программирования Перфо.
- https://habr.com/ru/hub/funcprog/ - Хабр Функциональное программирование