ObjectScript — новый язык программирования

Разработчик, в одиночку, начал работать над языков 8 августа 2012 года, правда до этого я уже писал несколько др. языков программирования. Стандартам не знаю соответствует или нет, просто знаю много языков и пишу постоянно на разных, смотрел и новые веяния от гугла типа Go и Dart и решил опубликовать свои мысли по этому поводу в виде языка ObjectScript.

Присоединясь. Было бы неплохо реализовать 20 тестовых программ с http://shootout.alioth.debian.org/ и сравнить производительность с указанными выше языками.

Да тестил кое что, первая версия виртуальной машины меня вообще не впечатлила ни по скорости ни по памяти. Сейчас используется полностью переписанная VM версии 2 так сказать, что выражается в текущей версии OS 0.93-vm2. Стало лучше на порядок, приемлемо для начала разработок под мобильные платформы, на что собственно и был изначально нацелен проект. Поэтому сейчас я делаю упор над выпуском примеров, например, те что в видео в конце статью. Ну а в перспективе вернусь к VM.

Спасибо за идею, а что это реально работает для подобных проектов?

Не понимаю, почему заминусовали alesto. Совсем ошалели?

+1. Это раздражает (отчасти) и в CoffeeScript, на который это ну очень сильно похоже, кстати.

Согласен. Тут я пошел по пути языка Lua. Там в описании объектом можно использовать и запятую и точку с запятой, да и равно между парой ключ — значение мне нравится. В то же время я не хотел отказываться от нативной поддержки JSON формата.

И чем же это плохо? Хотите, пишите как угодно. Хотите, пишите одним вариантом. Если есть проблемы с коллегами — договоренность все решит.

node.os — это обязательно, если дойдут руки, может кто присоединиться к разработке, посмотрим. И компиляция OS в JS также изначально была записана в плане.

Питонщики смотрят на вас с немым укором.

Толку от них? Все приличные программисты следуют принципу «одна стока — одно выражение». Точка с запятой нужна машинам, а не людям. А машины сейчас умные, могут сами понять, где один оператор, а где второй.

Насчет запятых — семейство Lisp-подобных языков с вами не согласится.

enum пока зарезервировано как служебное слово.

В последнем обновлении добавлен сокращенный синтаксис для функций:

{|y z| y*z}

это полный аналог:

function(y, z){ return y*z }

надо пользоваться чаще предпросмотром… прошу прощения, хотел написать:

10.times do
// your code
end

Причём здесь рельсы? Чистый руби.

Я напишу отдельную статью про оценку производительности.

Изначально язык нацелен на аудиторию лояльную к C-подобным языкам, к ним я отношу JavaScript, PHP, Lua ну и некоторые другие.

А в целом я работаю над реализацией движка для написания кросс платформенных приложений по типу Corona SDK, но на ObjectScript и Marmalade SDK. Не отказался бы от интеграции с др. платформами, например, Irrlicht, Shiva3D и др. В принципе область применения может быть довольно большой, тот же node.os (как аналог node.js).

Насколько мне известно, от русскоязычного комьюнити мировому сообществу пока не предложено языков высокого уровня. Что я предлагаю — завершить спецификацию ObjectScript, создать комьюнити, может быть найти инвестиции.

Спасибо!

Так распространитесь :) Я, вот, например, не знаю, что людям нужно от новых языков.

Сейчас я подключаю Box2d, видимо скоро покажу демку. OS изначально был ориентирован на простую интеграцию с C++

1. в Lua работают и запятые и точки с запятой, тут я не усмотрел криминала, хотя и соглашусь с тем, что лучше использовать один синтаксис

2. согласен

3. дело в том, что

	a = {x=1, y=3; "zero" "one", "two" last:7,}

эквивалентен объекту на JS

	a = {x:1, y:3, 0:"zero", 1:"one", 2:"two", last:7}

поэтому print a[1] выведет one

4. в OS (ObjectScript) изначально все функции — лямбды, запись с ключевым словом function на мой взгляд воспринимается более читабельно

5. код obj = { null awesome={1,2} {12, 24}} for({k, v} in obj){ print( k " --> " v ) } не совсем валидный в части for({k, v}, тут требуется writeable, а {k, v} не writeable и компилятор будет ругаться

6. 7. согласен get color { return .... } выглядит лучше. Я хочу лишь отметить, что это все равно будет скомпилировано в метод с именем __get@color, а это нужно программисту теоретически знать. Сейчас уже есть синтаксис вида:

var alphaBlending
function get alphaBlending(){ return alphaBlending }
function set alphaBlending(a){
	alphaBlending = a
	if(a){
		glEnable(GL_BLEND)
		glBlendFunc(CC_BLEND_SRC, CC_BLEND_DST)
	}else{
		glDisable(GL_BLEND)
	}
}

см. director.os — это из 2d движка, который я пишу для мобильных платформ на ObjectScript. Данный синтаксис пока не добавлен в описание объекта.

8. delete работает также как в JS, т.е. удаляется не само значение, а ссылка на него или свойство в данном случае. Сам же объект разрушается в процессе сбора мусора

9. согласен

10. есть например такой язык objective-c, который используется в продуктах Apple (по сути все не кроссплатформенные приложения для Apple App Store написаны на objective-c), там можно вызвать метод для null объекта и это будет проглочено молча без единного предупреждения, что произойдет? да ничего, просто метод (там это называется событие) не будет вызван. Текущая версия OS поведет себя так же, но я планирую более детально проработать этот момент. Например, в текущий момент при разработке на OS мне очень сильно помогает лог доступа к необъявленым свойсвам и делается это средствами самого же OS. Например, посмотрим файл core.os

function __get(name){
	echo("global property \""name"\" is not declared\n")
	echo "back trace\n"
	printBackTrace(1)
	echo "\n"
}

function Object.__get(name, autoCreate){
	if(autoCreate) return;
	echo("object property \""name"\" is not declared\n")
	echo "back trace\n"
	printBackTrace(1) // skip current function
	echo("=======\ntarget "this"\n\n")
}

function Userdata.__set(name, value){
	echo("userdata property \""name"\" is not declared, set value "value"\n")
	echo "back trace\n"
	printBackTrace(1) // skip current function
	echo("=======\ntarget "this"\n\n")
}

function assert(a, message){
	if(!a){
		print(message || "assert failed")
		printBackTrace(1)
		terminate()
	}
}

setErrorHandler(function(code message file line){
	var type = "ERROR"
	if(code == E_WARNING)
		type = "WARNING"
	else if(code == E_NOTICE)
		type = "NOTICE"
	echo("["type"] "message"\n")
	echo "back trace\n"
	printBackTrace(1) // skip current function
})

function printBackTrace(skipNumFuncs){
	for(var i, t in debugBackTrace(skipNumFuncs + 1)){ // skip printBackTrace
		echo("======= ["i"]\n")
		// echo("  line: "t.line", pos: "t.pos", token: "t.token", file: "t.file"\n")
		echo("  line: "t.line", pos: "t.pos", file: "t.file"\n")
		echo("  function: "t.name", arguments: "t.arguments"\n")
		// print concat("  object: "(t.object === _G && "<<GLOBALS>>" || t.object)"\n")
	}
}

Весь вывод через echo & print перехватывается в виртуальной функции унаследованного от класса ObjectScript и записывается в файл. Таким образом я всегда вижу наличие проблемы, printBackTrace при этом дампит детальный call stack, поэтому я могу понять от куда был вызов и с какими параметрами.

И ещё: objectscript.sourceforge.net/

Хм… На каких конкретно системах Луа?
Питон вроде более чем бодренько работает на эмбеддед, на Мипс 400 МГц х 32 метра рам — полновесный питон у меня без проблем стартует.

Модификация контейнера в foreach?
Обсуждение такой идеи мне кажется пустозвонством, ибо слишком много вопросов. Foreach используется не только для массивов и списков, а для любого обьекта, что реализует интерфейс IEnumerable. Что если у вас не просто список, элементы которого будут добавляться в конец, а упорядоченный список?
Добавляя элементы мы можем напороться на нехорошую ситуацию — если элемент попадёт не в конец списка, а в начало, то IEnumerator уже не пройдёт по нему. Как быть в таком случае?
А если заменяется текущий элемент? Что тогда предпринимать? Делать ещё одну итерацию специально для него или идти дальше?
Слишком много вопросов. Кто-то будет считать, что тако-то делать неправильно, или неоптимально, или неожиданно, или ещё что-нибудь. Получается неочевидность результатов работы с такой фишкой. Мне кажется, что в случае, если вы хотите менять коллекцию во время её перебора, нужно использовать не foreach.

Я могу лишь сказать, что изменение/удаление итератора для стандартных типов (array, object) не приведет к падению, более того отработает как задумано программистом. Но я бы не применял такую практику.

А зачем там, собственно, код?

Соскучились по радостям Перла вроде www.linux.org.ru/forum/development/392747?

Угадал. Нули только не очевидны.

Я попробовал реализовать tri-color incremental garbage collector, иначе говоря сборка мусора делается не за один проход, а за много во избежании высокой нагрузки самого сборщика на систему. Что из этого получилось? Работает и не падает, все что надо удаляет, удалось затюнить сборщик для максимально возможного fps на моем мобильнике HTC Desire (в тех демках, что я делаю на OS). Тем не менее, я не доволен тем, что fps не ровный, но пока не уверен в чем именно проблема, в сборщике мусора или в чем-то другом.

У вас очень позитивно получилось, как с точки зрения идеологии, так и реализации. Спасибо за ссылку!

Да и синтаксис мне показался странным: хошь делай так, а хошь делай так, хошь поставь запятую, не хошь, поставь джигурду. Представляю, каковым геморроем будет смена программиста на проекте. Любой программист со временем становится консерватором. С годами он обретает понятие красивого кода. А этот язык будет вызывать только когнитивный диссонанс и ненависть к предыдущему разработчику.

Согласен. Продолжение статьи…

Инкапсуляции

Класс IvanPerson не знает, как реализован метод walk() из класса Person, но может использовать этот метод. В классе IvanPerson нет необходимости даже определять walk() до тех пор, пока не понадобиться изменить его. Все классы наследуют методы своих родителей и определяют только новые методы или те, которые нужно изменить — это называется инкапсуляция.

Перегрузка методов

Опишем класс IvanPerson следующим образом

	var IvanPerson = extends Person {
		__construct = function(){
			super("Ivan", "Petrov")
		}
		walk = function(){
			echo "Soneone named "
			super()
		}
	}
	var p = IvanPerson() // создадим экземпляр класса IvanPerson
	p.walk()
	print p

Выведется:

Soneone named Ivan Petrov is walking!
{"firstname":"Ivan","lastname":"Petrov"}

super вызывает метод родительского класса (прототипа) с именем метода, из которого он был вызван! Тут речь идет о любом методе, нужно просто вызвать super с нужными параметрами.

Ручная передача this в функцию

Чтобы вызвать функцию и передать в нее нужный нам this, воспользуйтесь методом call класса Function. Продолжая предыдущий пример:

	Person.walk.call(p)

Выведется:

Ivan Petrov is walking!

Метод call вызывает функцию с нужным нам this и остальными параметрами, с которыми call был вызван. Если остальные параметры собраны в масив, то воспользуйтесь методом apply класса Function.

	function foo(a, b){ return a + b }
	function bar(){ return foo.apply(null, arguments) }
	print bar(2 3)
	print bar(4 5)

Выведется:

5
9

P.S. заодно проверил и исправил баг в apply, если вы уже клонировали репозиторй, обновитесь пожалуйста

преобразует значение в простой тип данных, я расскажу об этом и др. специальных операторах в следующей статье

C# сам по себе может использоваться для скриптинга. Компилятор доступен прямо из языка, а генерированный таким образом код можно запускать, закрыв ему доступ к файловой системе с помощью атрибутов безопасности.