G(
GCC stands for GNU Compiler Collection - туда не то что C, C++, Objective-C и Fortran входят, принципиально есть поддержка и Go, и D, и даже Java. Так что... 🙂
Ну это пиздец канешна...
Size: a a a
2019 December 31
AT
Тут продолжают "обижать" Go, но вот хороший доклад, который показывает, почему Go с точки зрения компиляторщика — достойное творение. https://www.youtube.com/watch?v=uTMvKVma5ms
Ага, в Go всё прекрасно - и рантайм, и компилятор, и тулинг, и библиотеки, и даже комьюнити неплохое. Одна проблемка - язык говно. 😂
DF
Кек точно
FO
Ага, в Go всё прекрасно - и рантайм, и компилятор, и тулинг, и библиотеки, и даже комьюнити неплохое. Одна проблемка - язык говно. 😂
в фортране не менее ужасные генерики, но почему-то никто не ругается :D
AT
в фортране не менее ужасные генерики, но почему-то никто не ругается :D
Никто? Вообще? Вы всех опросили? 😉
Кроме того, Go был создан не только на 50 лет позже Фортрана, но и где-то на 10 лет позже Haskell. Как бы есть разница. 🙂
Кроме того, Go был создан не только на 50 лет позже Фортрана, но и где-то на 10 лет позже Haskell. Как бы есть разница. 🙂
YS
Тут продолжают "обижать" Go, но вот хороший доклад, который показывает, почему Go с точки зрения компиляторщика — достойное творение. https://www.youtube.com/watch?v=uTMvKVma5ms
звучит как оправдание в стиле "они просто делают свою работу"
E
весь доклад о SSА и баундчеках)
E
ну и дедстор елиминатион
PS
весь доклад о SSА и баундчеках)
Ага, но кто еще из гигантов смог не "подсесть на иглу" LLVM? В golang свой компилятор для x86, arm, ppc... И работает он шустрее всех конкурентов :)
PS
звучит как оправдание в стиле "они просто делают свою работу"
Жаль, если слышится именно такое. Ведь в этом чате можно обсудить компилятор по существу? У нас и так довольно было пустых споров о языках.
E
Ага, но кто еще из гигантов смог не "подсесть на иглу" LLVM? В golang свой компилятор для x86, arm, ppc... И работает он шустрее всех конкурентов :)
да не так много кто и подсел на ллвм, кроме С++ (и то только кланг) и Раст(?) вроде никто его как основной бэк не юзает
E
а ssa форма много у кого
E
ну и свифт - но там сам бог велел
E
(если что я про мейнстрим языки, допустим топ-20)
FO
Мне LLVM нравится тем, что можно компилироваться во всякое непотребство типа WebAssembly :D
FO
Так что не вижу ничего плохого в LLVM
PS
а ssa форма много у кого
Они, например, предоставили интересные данные по скорости компиляции для вариантов без SSA и с поддержкой SSA. Любопытно было бы "столкнуть лбами" их с автором MIR, который считает, что для быстрого JIT форма SSA вредна :)
E
Они, например, предоставили интересные данные по скорости компиляции для вариантов без SSA и с поддержкой SSA. Любопытно было бы "столкнуть лбами" их с автором MIR, который считает, что для быстрого JIT форма SSA вредна :)
у нас и в моно и корцлр есть фаза конвертации деревовидного ир в SSA прям почти перед ловерингом
E
ну т/е у нас много оптимизаций проходит до сса, а сса - это уже для конкретно CSE, bound check — все как в докладе
E
на скорость джит особо не влияет, но наверное влияло бы если бы это был чисты SSA с самой первой фазы