Хотелось бы знать, как народ отнесся бы к появлению проекта по созданию Руccкой
ОС. Причём не только русской, но и всего русскоговорящего населения?
Присоеденились бы вы к такому проекту?
Ответ на
»сообщение 2951« (Руслан Богатырев)
___________________________
Как-то больше вопросов возникает, чем находится ответов.
Применительно к языку программирования:
Так или иначе, метаязык "должен быть во всяком случае «не беднее» своего предметного языка (т. е. для каждого выражения последнего в метаязыке должно иметься его имя-«перевод») и должен содержать выражения более высоких «логических типов», нежели язык-объект"(
http://www.cultinfo.ru/fulltext/1/001/008/075/937.htm)
Поэтому создание метаязыка к борьбе со сложностью(в общем смысле) имеет слабое отношение. Синтаксические конструкции метаязыка м.б. совсем другими, чем в языке-объекте, но это только увеличит сложности в освоении и использовании метаязыка. Хотя вновь вводимые семантические конструкции метаязыка вроде бы призваны снизить сложность построения/понимания проектируемой системы. Тупое повторение семантики языков "базового набора" в метаязыке также невозможно ввиду того, что заявленная ортогональность базового набора языков таковой на самом деле не является.
Простейшим доказательством последнего служит возможность написания компилятора чего угодно на чем угодно(
http://www.delphikingdom.com/asp/talktopic.asp?ID=366&ref=msg&msg=2579#msg2586, http://www.delphikingdom.com/asp/talktopic.asp?ID=366&ref=msg&msg=2579#msg2594, http://www.delphikingdom.com/asp/talktopic.asp?ID=366&ref=msg&msg=2579#msg2584).
Вдобавок присутствует взаимная семантическая эквивалентность многих синтаксических конструкций языков базового набора. Да и могут ли быть ортогональными эквивалентные по Тьюрингу языки?
Отвлеченно:
"Например, выражения «Н2О», «вода», «eau», «water», «Wasser», «vesi» и т.д. можно, в принципе, в равной мере считать элементами «формализованного языка химии»."(
http://www.cultinfo.ru/fulltext/1/001/008/116/988.htm) Но более удачно будет сказать - "формализованного языка веществ".
"{Скорость, температура, время, вес, speed, temperature, time, weight..}" - элементы "формализованного языка свойств"
Композиция таких ортогональных наборов м.б. использована в качестве "языка описания химических реакций" и будет являться метаязыком для каждого из двух исходных языков. Но сам метаязык уже не будет являться ортогональным по отношению к исходным языкам и не может быть использован для расширения ортогонального базиса системы.
Отсюда большие сомнения в реализуемости схемы "ортогональный базис языков может быть устроен по многоэтажному принципу". Скорее привлекает поддержка разнообразных ВСТРОЕННЫХ в выбранные языки семантических конструкций и применимости оных в зависимости от задачи.
Применительно к метасистемному переходу:
Экспортируемая функциональность однородных подсистем A1, A2, A3,… не позволяет описать/реализовать функционал управляющей подсистемы Х. Иначе говоря, имея только блоки A1, A2, A3,… нельзя построить Х. Отсюда вроде как вытекает необходимость описания/реализации Х с требуемым функционалом за счет использования чего-то еще, кроме A1, A2, A3,… . Нужен ли для этого метаязык?
Начнем от печки - A1, A2, A3,… уже на чем-то реализованы. В предельном случае - в машинных кодах. Пусть вся система будет выполняться на конкретной архитектуре. Но тогда Х должна быть реализуема в терминах реализации A1, A2, A3,… , т.е. в тех же машинных кодах. Вывод - в конечной реализации системы Х, A1, A2, A3,… метаязык не используется. Соответственно, ни на одном промежуточном этапе проектирования системы не вводилось метатерминов, не имеющих реализации в терминах реализации блоков A1, A2, A3,… .
Выходит, метаязык для программирования все-таки не существует?
Ответ на
»сообщение 2949« (Илья Ермаков)
___________________________
>>> Меня порадовала новость о внесении изменений в налоговый кодекс для поддержки инновационного бизнеса
:)
Неужели не понятно, что послабление на налоги получат племянники, невестки и дворовая челядь?
Для этого им в заявке надо будет написать слово "нанотехнологии".
Например: При транспортировке цветных металлов за границу на слябах образуется окисная плёнка нанотолщины. Требуется послабление налога.
Или: Газ в трубопроводах утекает через нанотрещины. Требуется послабление налога.
>>> лицензия на деятельность по созданию копий программ
Ну понапридумывали Линуксов всяких и GPL. Разбирайся, доказывай нарушение авторского права!
А так просто - есть пишущий DVD, нет лицензии - полезай моя турьма.
Вера в доброго царя неистребима в нашем народе несмотря на все грабли расбросанные то там, то сям.
