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

[kravets]

Сообщение от san-smith

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

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

[san-smith]

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

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

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

[kravets]

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

[san-smith]

Сообщение от kravets

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

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

[kravets]

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

[@.n.g.e.r]

Сообщение от san-smith

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

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

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

Сообщение от kravets

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

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

[kravets]

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

Может быть

Серьезно?

[@.n.g.e.r]

Сообщение от kravets

Серьезно?

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

[san-smith]

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

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

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

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

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

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

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

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

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

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

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

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

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


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

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

[@.n.g.e.r]

Сообщение от san-smith

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

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

Сообщение от san-smith

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

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

Сообщение от san-smith

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

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