Портал аспирантов - Создание языка программирования как тема диссертации

Портал аспирантов (http://www.aspirantura.spb.ru/forum/index.php)

- Диссертация (http://www.aspirantura.spb.ru/forum/forumdisplay.php?f=111)

Цитата:

Сообщение от san-smith (Сообщение 633604)

2. Реализовать компилятор/интерпретатор языка из п.1.

2.0 Создать синтаксис и семантику
2.1 Реализовать ...

Недавно на Хабре была статья (https://habrahabr.ru/post/319424) про исследовательский проект Graal & Truffle.
Авторы обещают упрощение разработки языков и возможность получить быстрые компиляторы:

Цитата:

Truffle в паре с Graal позволит конвертировать такие интерпретаторы в JIT компилирующие виртуальные машины (VM) … автоматически. Полученная среда исполнения в моменты пиковой производительности может соревноваться с лучшими существующими компиляторами (настроенными вручную и заточенными под конкретный язык). Например полученная таким образом реализация языка JavaScript под названием TruffleJS может тягаться с V8 в тестах производительности.
Движок RubyTruffle быстрее чем все остальные реализации Ruby. Движок TruffleC примерно соревнуется с GCC.

Есть ли смысл покопаться в этом на предмет темы диссертации? Или это всё инопланетно и надо думать не об этом?

Синтаксис первичен.

Цитата:

Сообщение от kravets (Сообщение 633661)

Синтаксис первичен.

То есть гораздо важнее рассказать про создаваемый язык, его синтаксис/семантику, почему он хорош для этого класса задач, а насколько быстро это будет работать - дело десятое?

Примерно так. Быстродействие конкретной реализации - это проблема реализации.

Цитата:

Сообщение от san-smith (Сообщение 633451)

Или что-нибудь для Эльбруса.

Не осилите, исходя из того, что я о Вас почерпнул.

Добавлено через 6 минут

Цитата:

Сообщение от kravets (Сообщение 633661)

Синтаксис первичен.

Может быть автор собирается замахнуться на представление новой парадигмы программирования? В таком ключе скорость реализации (в отсутствии альтернатив) можно подать в качестве фактора новизны.

Цитата:

Сообщение от @.n.g.e.r (Сообщение 633724)

Может быть

Серьезно?

Цитата:

Сообщение от kravets (Сообщение 633729)

Серьезно?

Гипотетически вполне себе. Может быть перед нами будущий Алан Кнутович Кэй, замашки-то сферические уже озвучивались.

Цитата:

Сообщение от @.n.g.e.r (Сообщение 633730)

Может быть перед нами будущий Алан Кнутович Кэй, замашки-то сферические уже озвучивались.

Боюсь, меня неправильно поняли.

Цитата:

Сообщение от @.n.g.e.r (Сообщение 633724)

Не осилите, исходя из того, что я о Вас почерпнул.

Я и не претендовал на реализацию под Эльбрус, просто пытался описать рамки - найти границы, за которые не нужно пытаться заходить.

Цитата:

Сообщение от @.n.g.e.r (Сообщение 633724)

автор собирается замахнуться на представление новой парадигмы программирования?

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

Добавлено через 54 минуты

Цитата:

Сообщение от @.n.g.e.r (Сообщение 633724)

Не осилите, исходя из того, что я о Вас почерпнул.

Добавлено через 6 минут

Может быть автор собирается замахнуться на представление новой парадигмы программирования? В таком ключе скорость реализации (в отсутствии альтернатив) можно подать в качестве фактора новизны.

Если Вы подскажите задачу, которую я осилю и которая будет иметь научно-практическую значимость, я буду очень благодарен.

Цитата:

Сообщение от san-smith (Сообщение 633794)

За эту точно не нужно, если не работаете в МЦСТ. Они и сами, исходя из имеющихся контактов, в том числе с командой компиляторщиков, не покушаются на принципиально новый компилятор - фронтенд покупной, бэкенд в GCC подсматривают. На чем в научном плане выезжают можете по их публикациям прикинуть.

Цитата:

Сообщение от san-smith (Сообщение 633794)

На новую парадигму не покушаюсь.

Не обращайте внимания, это были скорее мысли вслух.

Цитата:

Сообщение от san-smith (Сообщение 633794)

Если Вы подскажите задачу,

В теме уже массу направлений обозначили, конкретно моя специализация все-таки ОС. У меня такой вопрос имеется - научрук-то у Вас вообще есть и что он на эти мысли высказывает?