AV
Вот в Scheme так было. В итоге решили, что с зоопарком надо покончить.
то, что кто-то не смог, не означает что другие не смогут 🙂
Size: a a a
2019 December 30
PS
А есть хорошие примеры таких компиляторов?
МБ
то, что кто-то не смог, не означает что другие не смогут 🙂
Хм... Не понятно, чем другие будут отличаться. Очевидно, что такое решение приведёт к зоопарку диалектов и непереносимости кода.
AV
Хм... Не понятно, чем другие будут отличаться. Очевидно, что такое решение приведёт к зоопарку диалектов и непереносимости кода.
у Ады не привело например.
AV
просто не надо такой подход возводить в абсолют
AV
а лисперы любят это дело
AK
Вот тут пара диаграмок про то, чем реально занимаются суперкомпьютеры. вся(!) квантовая химия хочет иметь адекватные имплементации комплексных чисел для быстрых расчетов магнитных материалов.
«В мое отсутствие сгорела вся моя личная библиотека - обе книги»?
МБ
Да не. Просто интерпретатор Схемы написать проще, чем компилятор Ada :)
AV
Да не. Просто интерпретатор Схемы написать проще, чем компилятор Ada :)
да, это проблема мелких языков. Скажем у Оберона что ни реализация - то диалект. А реализаций конкретно много. Каждый год появляется как минимум еще одна, а то и несколько.
и это при том, что язык не подразумевает расширизмов сам по себе 🙂
и это при том, что язык не подразумевает расширизмов сам по себе 🙂
PS
Это и благо. Разработчики расширяют небольшие языки под свои нужды, а не ждут годами решений важных людей из комитетов.
FO
«В мое отсутствие сгорела вся моя личная библиотека - обе книги»?
Не очень понял(
AV
Это и благо. Разработчики расширяют небольшие языки под свои нужды, а не ждут годами решений важных людей из комитетов.
ага, только это таки разные языки. под каждую реализацию приходится портировать любое приложение крупнее хелло ворлда. а иногда и хелло ворлды портировать приходится
AV
поэтому не образуется общей критической кодовой базы библиотек и общего кода
DP
Kir
Для того, чтобы разобраться с катаморфизмом, не нужно теорката. Это просто свёртка дерева.
или кота
МБ
да, это проблема мелких языков. Скажем у Оберона что ни реализация - то диалект. А реализаций конкретно много. Каждый год появляется как минимум еще одна, а то и несколько.
и это при том, что язык не подразумевает расширизмов сам по себе 🙂
и это при том, что язык не подразумевает расширизмов сам по себе 🙂
У Схемы был стандарт в таком вот стиле: что есть минимум, а есть необязательные расширения. Все делали минимум и какой-то набор расширений, который был по душе. В итоге, начались проблемы несовместимости. Это были стандартные расширения, но наборы не совпадали. Поэтому пришлось стандартизировать две версии языка: маленькую и большую. Без свободы в выборе расширений.
AV
У Схемы был стандарт в таком вот стиле: что есть минимум, а есть необязательные расширения. Все делали минимум и какой-то набор расширений, который был по душе. В итоге, начались проблемы несовместимости. Это были стандартные расширения, но наборы не совпадали. Поэтому пришлось стандартизировать две версии языка: маленькую и большую. Без свободы в выборе расширений.
там минимум видимо был слишком минимальный 🙂
МБ
там минимум видимо был слишком минимальный 🙂
Да нет. Там даже были комплексные числа :)
AV
Да нет. Там даже были комплексные числа :)
PS
ага, только это таки разные языки. под каждую реализацию приходится портировать любое приложение крупнее хелло ворлда. а иногда и хелло ворлды портировать приходится
Так уж и любое приложение. Я бы с удовольствием взял Astrobe для программирования упомянутого STM32: https://www.astrobe.com/
Там, по сути, виртовский Оберон и используется, без каких-то особенных расширений.
Там, по сути, виртовский Оберон и используется, без каких-то особенных расширений.
DP
Вопрос в том, как подбить ООП-людей в это влезть. Они ведь просто создадут класс TreeWalker, определят там методы preorder, postorder и так далее.
сработает, если дать богатый pattern matching по графу (дереву) объектов
очень приятно было бы определить граф-шаблон, и сказать ему Template варись: AST
очень приятно было бы определить граф-шаблон, и сказать ему Template варись: AST