Size: a a a

Compiler Development

2020 May 04

МБ

Михаил Бахтерев... in Compiler Development
Alexander Tchitchigin
Во-первых, "коболизация" может "внезапно" случиться почти с любым языком — именно поэтому хорошо брать простой язык, которому можно сравнительно быстро обучить.
Во-вторых, не хотелось бы, чтобы экономили на программистах и прочих специалистах для АЭС. 😊
Имеет, кстати, смысл брать насктолько простой язык, что его runtime и комплиятор можно на ассемблере сварганить за обозримое время. Это тоже существенный плюс Оберона, что бы там ни говорили.
источник

AT

Alexander Tchitchigi... in Compiler Development
Михаил Бахтерев
Имеет, кстати, смысл брать насктолько простой язык, что его runtime и комплиятор можно на ассемблере сварганить за обозримое время. Это тоже существенный плюс Оберона, что бы там ни говорили.
С этим-то я и не спорю. Так-то я вообще не спорил про Оберон. 😊
источник

МБ

Михаил Бахтерев... in Compiler Development
Alexander Tchitchigin
С этим-то я и не спорю. Так-то я вообще не спорил про Оберон. 😊
Подумалось, что это к вопросу о метрике семантической простоты: насколько сложно писать компилятор на ассемблере.
источник

СЛ

Сергей Лапынин... in Compiler Development
Михаил Бахтерев
Подумалось, что это к вопросу о метрике семантической простоты: насколько сложно писать компилятор на ассемблере.
А что мешает сразу писать на ассемблере?
источник

МБ

Михаил Бахтерев... in Compiler Development
Кстати, вот Лиспы тоже легко bootstrap-ить. Пишем тупенький интерпретатор, а на нём уже компилятор. Эти, GNU, вроде GUIX так и bootstrap-ят?
источник

AT

Alexander Tchitchigi... in Compiler Development
Михаил Бахтерев
Подумалось, что это к вопросу о метрике семантической простоты: насколько сложно писать компилятор на ассемблере.
Вариант, но не очень практичный и "зашумлённый". Хотелось бы какую-то чисто синтаксическую меру (на синтаксисе формальной семантики). 😊
источник

СЛ

Сергей Лапынин... in Compiler Development
К чему все эти хипстерские компиляторы? Даешь перфокарты
источник

МБ

Михаил Бахтерев... in Compiler Development
Сергей Лапынин
А что мешает сразу писать на ассемблере?
Время. На Си писать можно гораздо быстрее, чем на ассемблере с меньшим уровнем ошибок.
источник

СЛ

Сергей Лапынин... in Compiler Development
Михаил Бахтерев
Время. На Си писать можно гораздо быстрее, чем на ассемблере с меньшим уровнем ошибок.
Тогда зачем вам компилятор, написанный на ассемблере?
источник

AT

Alexander Tchitchigi... in Compiler Development
Михаил Бахтерев
Кстати, вот Лиспы тоже легко bootstrap-ить. Пишем тупенький интерпретатор, а на нём уже компилятор. Эти, GNU, вроде GUIX так и bootstrap-ят?
GNU Common Lisp точно так бутстрапится. Скорее всего, если SBCL из исходников собирать, то тоже забутстрапится.
источник

МБ

Михаил Бахтерев... in Compiler Development
Сергей Лапынин
Тогда зачем вам компилятор, написанный на ассемблере?
Это критерий простоты языка.
источник

СЛ

Сергей Лапынин... in Compiler Development
Вы не находите противоречий в своих суждениях?
Компилятор - это программа. Вы говорите, что важно время, но вы готовы, что бы кто-то тратил уйму времени на написание компилятора на ассемблере
источник

СЛ

Сергей Лапынин... in Compiler Development
Причем этот кто-то скорее всего по квалификации должен быть примерно в 10% лучших разработчиков с серьезным академическим беком.
источник

AT

Alexander Tchitchigi... in Compiler Development
Сергей Лапынин
Вы не находите противоречий в своих суждениях?
Компилятор - это программа. Вы говорите, что важно время, но вы готовы, что бы кто-то тратил уйму времени на написание компилятора на ассемблере
Вы же знакомы с тьюринговской лекцией Кернигана?
источник

СЛ

Сергей Лапынин... in Compiler Development
Alexander Tchitchigin
Вы же знакомы с тьюринговской лекцией Кернигана?
нет
источник

МБ

Михаил Бахтерев... in Compiler Development
Сергей Лапынин
Вы не находите противоречий в своих суждениях?
Компилятор - это программа. Вы говорите, что важно время, но вы готовы, что бы кто-то тратил уйму времени на написание компилятора на ассемблере
Эмс. Я совсем не это имею в виду. Критерий - это признак, а не руководство к действию.
источник

СЛ

Сергей Лапынин... in Compiler Development
Михаил Бахтерев
Эмс. Я совсем не это имею в виду. Критерий - это признак, а не руководство к действию.
но компилятор - это обычная программа, почему вы не применяете к нему те же критерии, что к разработке?
источник

AT

Alexander Tchitchigi... in Compiler Development
Рекомендую прочитать. Он там объясняет, почему нельзя доверять компилятору, который написал не ты сам. Не то чтобы 100% серьёзно, но это одна из причин, почему в high assurance областях склонны всё разрабатывать in-house.
источник

СЛ

Сергей Лапынин... in Compiler Development
Alexander Tchitchigin
Рекомендую прочитать. Он там объясняет, почему нельзя доверять компилятору, который написал не ты сам. Не то чтобы 100% серьёзно, но это одна из причин, почему в high assurance областях склонны всё разрабатывать in-house.
ЦПУ тоже самому травить?
источник

AT

Alexander Tchitchigi... in Compiler Development
Сергей Лапынин
ЦПУ тоже самому травить?
Крайне желательно, да.
источник