Size: a a a

Compiler Development

2020 March 19

МБ

Михаил Бахтерев in Compiler Development
K R
Для численных методов хорошо работают обычные физические размерности. Но они не реализуемы нормальным образом на современных яп. В смысле, функция pow или sqrt должна правильно обрабатывать размерности. И, соответственно, всякие композиции.

С другой стороны, в вычмат задачах почти нет ветвлений, поэтому там отлично пригождается питон и покрытие тестами - верификация методом монте-карло.

Ещё, кстати, кто-то улучшает это монте-карло с помощью AFL фаззера.
Интересно, откуда возникает идея об отсутсвии ветвлений?
источник

KR

K R in Compiler Development
Михаил Бахтерев
Интересно, откуда возникает идея об отсутсвии ветвлений?
Из опыта.
источник

KR

K R in Compiler Development
Ничего похожего на исходники компилятора.
источник

МБ

Михаил Бахтерев in Compiler Development
K R
Ничего похожего на исходники компилятора.
Это не оспоришь, но ветвлений обычно не мало. Особенно в методах, где подразумевается адаптация сеток.
источник

PS

Peter Sovietov in Compiler Development
"Астрономический" DSL-компилятор на Racket: http://iaaras.ru/media/seminar/2019-12-dolgakov.pdf
Код: https://gitlab.iaaras.ru/iaaras/landau

Надеюсь, что Racket в скором времени, наряду с Ocaml, окажется самым популярным функциональным языком для разработки компиляторов.
источник

__

_________ _________ in Compiler Development
Peter Sovietov
"Астрономический" DSL-компилятор на Racket: http://iaaras.ru/media/seminar/2019-12-dolgakov.pdf
Код: https://gitlab.iaaras.ru/iaaras/landau

Надеюсь, что Racket в скором времени, наряду с Ocaml, окажется самым популярным функциональным языком для разработки компиляторов.
источник

МБ

Михаил Бахтерев in Compiler Development
Racket или не Racket, а работа клёвая.
источник

__

_________ _________ in Compiler Development
блин угарно
источник

__

_________ _________ in Compiler Development
сразу вспомнил про тайчи
источник

МБ

Михаил Бахтерев in Compiler Development
Peter Sovietov
"Астрономический" DSL-компилятор на Racket: http://iaaras.ru/media/seminar/2019-12-dolgakov.pdf
Код: https://gitlab.iaaras.ru/iaaras/landau

Надеюсь, что Racket в скором времени, наряду с Ocaml, окажется самым популярным функциональным языком для разработки компиляторов.
Кстати, а я верно понимаю, что Racket все контракты поднимает на уровень модуля? То есть, когда мы вызываем функцию из модуля, сразу проверяется всё, что нужно для её корректной работы?
источник

МБ

Михаил Бахтерев in Compiler Development
Или же, он просто сообщение об ошибке выдаёт, ссылаясь на точку вызова этой функции?
источник

VK

Vladimir Kazanov in Compiler Development
Peter Sovietov
"Астрономический" DSL-компилятор на Racket: http://iaaras.ru/media/seminar/2019-12-dolgakov.pdf
Код: https://gitlab.iaaras.ru/iaaras/landau

Надеюсь, что Racket в скором времени, наряду с Ocaml, окажется самым популярным функциональным языком для разработки компиляторов.
ого
источник

__

_________ _________ in Compiler Development
угарно канеш для разных пластов задач делать dsl с плюшками из нелинейного программирования
источник

VK

Vladimir Kazanov in Compiler Development
ничего себе DSL
источник

__

_________ _________ in Compiler Development
давайте угорим, сделаем обзор по нелинейному программированию и запилим набор языков для предметных областей
источник

МБ

Михаил Бахтерев in Compiler Development
_________ _________
давайте угорим, сделаем обзор по нелинейному программированию и запилим набор языков для предметных областей
А DSL-и зачем? Всё неплохо делается в рамках Scheme. Не понятно, зачем переизобретать синтаксис. Лучше уж как-то оптимизировать библиотеки. IMHO, конечно. https://en.wikipedia.org/wiki/Structure_and_Interpretation_of_Classical_Mechanics
источник

__

_________ _________ in Compiler Development
да тип чтоб общий был, и под быструю имплементацию dsl - почему бы и нет
источник

МБ

Михаил Бахтерев in Compiler Development
_________ _________
да тип чтоб общий был, и под быструю имплементацию dsl - почему бы и нет
Ну. Наверное. Это я просто ворчу: приходится работать на 4-ёх языках сейчас одновременно. Голова пухнет. Не хочу учить ещё один.
источник

МБ

Михаил Бахтерев in Compiler Development
Диссертация из прошлого с интересными деталями чего-то типа распараллеливающего компилятора для haskellьного языка. Содержит хороший обзор того, что делали в 80-ых. Все пытались сделать параллельный функциональный язык. Почему не взлетело интересно?

https://pdfs.semanticscholar.org/6cc0/3ca51b87e02c6523409e4d4a858f8fcb06b4.pdf
источник

FO

FORTRAN ONE LOVE in Compiler Development
Михаил Бахтерев
Диссертация из прошлого с интересными деталями чего-то типа распараллеливающего компилятора для haskellьного языка. Содержит хороший обзор того, что делали в 80-ых. Все пытались сделать параллельный функциональный язык. Почему не взлетело интересно?

https://pdfs.semanticscholar.org/6cc0/3ca51b87e02c6523409e4d4a858f8fcb06b4.pdf
фортран сделали параллельным. и зачем? его параллельность внутри языка никто не использует
источник