Size: a a a

Compiler Development

2020 February 03

AT

Alexander Tchitchigin in Compiler Development
MaxGraey
Под все эти описания можно подогнать любой современный язык.
А вот, что еще придется изучить физикам-ядерщикам и чему они не будут рады:
1. Понятие монад, функторов, линз, каррирования да и вообще хотябы немного погрузиться в лямбда исчисления
2. Научиться мыслить в функциональном и декларативном стиле, без циклов, без изменяемых переменных
3. Уметь переводить уйму алгоритмов написанных в императивном стиле в функциональный, желательно на лету (вот это самое сложное)
4. Научить или мотивировать своих коллег по цеху так же в это углубиться

Боюсь это слишком большая когнитивная нагрузка для человека, которому просто нужно быстро построить мат или физ модель / проверить гипотизу / обработать данные / обучить нейронную сеть. Еще не стоит забывать что у датасатанистов и физиков ядерщиков голова сильно забита кучей других вещей.

Чисто мое мнение - язык не должен быть как изощренное французкое блюдо, котым нужно трапезничать под Шато Марго 1920го года, разбираясь во всех его тонкостях приготовления и вкусовых нотах. ЯП просто должен хорошо выполнять свою функцию в той области для которой он проектировался или снискал популярность, и чем проще и быстрее им нучатся пользоваться тем лучше.

Ну и из области жуткой фантастики (или нет), которая надеюсь никогда не произойдет:
Представьте если бы ПО для поиска вакцины от вируса который выкосил треть населения мира былл написано на редком языке Х и так случилось что в ту треть входили все специалисты вырусологи, которые к тому же знали и язык Х, и могли бы поправить ошибку, которая не давала получить правильные результаты, или доработать ПО. Время было бы упущено, пока кто то из оставшихся специалистов разбирался в тонкостях этого редкого Х
Есть подозрение, что процент и физиков, и датасаентистов, подсевших на Wolfram Mathematica только растёт. А она хоть и динамическая, но чисто функциональная - без циклов. И ничего, многие вообще в восторге. 🤷‍♀
источник

МБ

Михаил Бахтерев in Compiler Development
Alexander Tchitchigin
Есть подозрение, что процент и физиков, и датасаентистов, подсевших на Wolfram Mathematica только растёт. А она хоть и динамическая, но чисто функциональная - без циклов. И ничего, многие вообще в восторге. 🤷‍♀
Кстати, они там грозились компилятор сделать, есть об этом новости?
источник

AT

Alexander Tchitchigin in Compiler Development
Михаил Бахтерев
Кстати, они там грозились компилятор сделать, есть об этом новости?
Не знаю - я и не слежу за ними...
источник

PS

Peter Sovietov in Compiler Development
Вообще-то, в феврале проходит конференция непосредственно по тематике чата.
CGO 20: International Symposium on Code Generation and Optimization.

Помимо прочего, там имеется следующая работа:

The Design and Implementation of the Wolfram Language Compiler
Abdul Dakkak (UIUC)
Tom Wickham-Jones (Wolfram Research)
Wen-mei Hwu (UIUC)
источник

PS

Peter Sovietov in Compiler Development
источник

PS

Peter Sovietov in Compiler Development
Напоминаю, что есть еще и, например, POPL20. Там тоже достаточно много любопытного.
источник

МБ

Михаил Бахтерев in Compiler Development
Thnx!
источник

TS

Timur Safin in Compiler Development
Peter Sovietov
Вообще-то, в феврале проходит конференция непосредственно по тематике чата.
CGO 20: International Symposium on Code Generation and Optimization.

Помимо прочего, там имеется следующая работа:

The Design and Implementation of the Wolfram Language Compiler
Abdul Dakkak (UIUC)
Tom Wickham-Jones (Wolfram Research)
Wen-mei Hwu (UIUC)
прошелся по списку принятых статей https://cgo-conference.github.io/cgo2020/accepted-papers/ и кажется Россия выпала из глобального процесса. :(
Как так получилось?
источник

PS

Peter Sovietov in Compiler Development
Timur Safin
прошелся по списку принятых статей https://cgo-conference.github.io/cgo2020/accepted-papers/ и кажется Россия выпала из глобального процесса. :(
Как так получилось?
Можно еще и здесь поискать :) https://popl20.sigplan.org/program/program-POPL-2020
источник

E

Eugene in Compiler Development
Timur Safin
прошелся по списку принятых статей https://cgo-conference.github.io/cgo2020/accepted-papers/ и кажется Россия выпала из глобального процесса. :(
Как так получилось?
они ненавидят всё русское, очевидно же!
источник

E

Eugene in Compiler Development
самая известная, наверное, компиляторная команда из России Excelsior JET закрылась, перешла в Китай (Хуавей), короче, компиляторы в России не самая востребованная тема, имхо...
источник

PS

Peter Sovietov in Compiler Development
Если говорить о цитировании работ российских исследователей, то могу вспомнить, что по тематике CGO иногда ссылаются на Булычева. Была у него в начале 2000-х диссертационная статья с не очень практичным, но оригинальным подходом.
источник

PS

Peter Sovietov in Compiler Development
Eugene
самая известная, наверное, компиляторная команда из России Excelsior JET закрылась, перешла в Китай (Хуавей), короче, компиляторы в России не самая востребованная тема, имхо...
А откуда у нас тут 756 участников? :) Просто у нас пока преобладает чисто инженерный подход к делу, когда надо не размышлять/исследовать, а — "шуровать".
источник

K

Kir in Compiler Development
FORTRAN ONE LOVE
а чтобы скобками не ошибаться, можно писать в Lisp-стиле. а потом сокращать строки)
Не там закрытая скобка в каком-нибудь (+ - и формула работает неверно
источник

DF

Dollar Føølish in Compiler Development
Подскажите пожалуйста, есть ли бестиповая программа, которую нельзя выразить в типизированном языке? Дано: система типов включает в себя Any
источник

E

Eugene in Compiler Development
Dollar Føølish
Подскажите пожалуйста, есть ли бестиповая программа, которую нельзя выразить в типизированном языке? Дано: система типов включает в себя Any
вам сюда:
https://t.me/typeslife
источник

YS

Yuriy Syrovetskiy in Compiler Development
Dollar Føølish
Подскажите пожалуйста, есть ли бестиповая программа, которую нельзя выразить в типизированном языке? Дано: система типов включает в себя Any
а обязательно использовать больше одного типа?
источник

AK

Andrei Kurosh in Compiler Development
Dollar Føølish
Подскажите пожалуйста, есть ли бестиповая программа, которую нельзя выразить в типизированном языке? Дано: система типов включает в себя Any
"Бестиповая" = не типизированная статически?
источник

DF

Dollar Føølish in Compiler Development
Да
источник

YS

Yuriy Syrovetskiy in Compiler Development
Dollar Føølish
Подскажите пожалуйста, есть ли бестиповая программа, которую нельзя выразить в типизированном языке? Дано: система типов включает в себя Any
любую нетипизированную программу можно считать типизированной 1 типов
источник