Current time: 23.03.2024, 07:05 Hello There, Guest! (LoginRegister)
Language: english | russian  

Post Reply 
Threaded Mode | Linear Mode
Разработка интерпретируемого языка
Author Message
FBX Offline

Posts: 2235
Post: #1

Хочу сделать, кхм, скриптовый язык, пригодный для использования. Интерпретатор писать я пока не начинал, пока выкладываю только мысли о предположительной структуре, и примеры кода, который я вижу.

Синтаксис:
1) Пробел - разделитель. Некоторые другие символы вроде перевода строки и табуляции - аналогично.
2) Строка текста - подобно паскалю ('abc'#13#10 + 'def')
3) Числа (12345.44 или $3A6D)
4) Круглые скобки и запятая - для передачи аргументов функции:
do(123,456,'abcdef')
Либо для расстановки приоритетов
5) Фигурные скобки для отделения блока инструкций
{
do(1,2,'a')
do(3,4,'b')
}
6) Точка для обращения к полям данных или элементам массива:
do.first(123,456,'def')
7) Комментарии: начинаются на // и завершаются переводом строки
8) @ - служебный символ для объявления функций и разметки модуля
9) Остальные символы рассматриваются как части идентификаторов

Структура модуля (проход осуществляется один раз при загрузке):
@do //объявление функции do - код сохраняется для последующего использования
{
......
}
@ //объявление функции без названия - этот код выполняется сразу при проходе
{
//функция регистрации константы
const('const1_name',const_type,const_value)
const('abc',int,333)
//функция регистрации типа
type('my_class','field1',type,value,'field2',type,value, ... ,'fieldN',type,value)
//функция регистрации аргументов для загруженной ранее функции
args('do',0,int,type1,type2, ... ,typeN)
//0 означает макс. количество необязательных аргументов
//следом идет тип необязательных аргументов
//вариант не окончательный
//тип и результат функции задается внутри функции
......
}
@do2 //еще одна функция
{
...
}
@ //еще код, выполняемый сразу
{
...
}

Типы данных:
В интерпретаторе все хранится в Int64.
Возможны синонимы.
none - тип данных отсутствует (любой).
type - тип для типа данных
int - целое число 64bit signed
float - вещественное число типа Double (8 байт)
bool - 1 бит (истина или ложь)
str - динамическая строка текста
func - функция
array - универсальный массив переменных (каждая имеет свое имя, тип и значение)
Здесь, кажется, не все.

Идентификаторы и выражения:
Для них не делается различия, функция это или переменная. При считывании выражения, если идентификатор не является функцией или переменной, то он рассматривается как оператор. При считывании выражения, либо ожидается какой-то конкретный тип аргументов, либо допускается произвольный, но тогда можно указать только переменную или результат функции. Если ожидается конкретный тип аргументов, то можно использовать операторы для этого типа. Предполагается возможность перегружать и добавлять неограниченное количество новых операторов для имеющихся и новых типов.

Открытие скобки означает ожидание аргумента такого же типа. Если аргумент другого типа передан насильно (как результат функции или значение переменной), будет либо ошибка, либо инородный аргумент будет интерпретирован соответствующим образом. Например, целое число в строку будет преобразовано.

Операторы:
Функции с иным способом передачи аргументов. Аргументов всегда 2, оператор располагается между ними.
Например: arg1 operator arg2
Унарных не будет - функциональный вызов их даже несколько удобнее. И, судя по всему, будет обязательным окаймление операторов пробелами или прочими разделителями. Если перед оператором ничего не следует, то туда подставляется аргумент по-умолчанию, например 0. Можно использовать только те операторы, которые соответствуют ожидаемому типу аргумента.

Не знаю как быть с приоритетами умножения и подобных.

Пример:
Вычисление факториала

@fac
{
result(fac(argument - 1))
}

@fac_loop
{
local_variable(int,'i',1)
set(i,1) //как один из предполагаемых вариантов присвоения
i(1) //еще вариант присвоения, функциональный (если получится)
result(i)
loop('i',1,argument,
{ //предполагаемый вариант записи циклов
result(get_result * i)
})
}
01.02.2011 22:27
Find all posts by this user Quote this message in a reply
SyDr Offline

Posts: 1052
Post: #2

Кхмм... Зачем? (Кроме варианта: "хочу, и всё тут")
01.02.2011 22:51
Find all posts by this user Quote this message in a reply
Berserker Offline
Administrators

Posts: 16449
Post: #3

А зачем? Есть, кстати, вполне функциональный pascal script с совместимостью с делфи для тебя.


Скачать Герои 3 Эра и всё, что с ней связано / ERA 2.46f для старых модов
Поддержать проект
01.02.2011 22:53
Find all posts by this user Quote this message in a reply
FBX Offline

Posts: 2235
Post: #4

Отчасти потому, что мне не нравится идея использовать паскаль в скриптах. Что-то вроде "языка под себя"
02.02.2011 00:12
Find all posts by this user Quote this message in a reply
GrayFace Offline
Forum Moderators

Posts: 1233
Post: #5

Почему не нравится? Собственно, Паскаль в скриптах - это PascalScript. Я использую Lua - более гибкий и мощный и при этом достаточно элегантный язык. Сейчас писать свой язык можно только по 2 причинам - как-то его использовать в дипломе или получить удовольствие и опыт от процесса создания. Использовать свой язык нет никакого смысла.


Вся правда обо мне
02.02.2011 07:01
Find all posts by this user Quote this message in a reply
« Next Oldest | Next Newest »
Post Reply 


Forum Jump:

Powered by MyBB Copyright © 2002-2024 MyBB Group