DI
В эпле Лев
Size: a a a
2020 July 02
DI
больше незачем
AA
это практически то, что я от себя спросил:
> One thing that comes to my mind is that I'm interested in what the long term plan for GHC is. Looking at how GHC incorporates more and more heavy features like dependent and linear typing I feel like this incurs huge maintenance costs and makes it harder for future generations to evolve the compiler.
> One thing that comes to my mind is that I'm interested in what the long term plan for GHC is. Looking at how GHC incorporates more and more heavy features like dependent and linear typing I feel like this incurs huge maintenance costs and makes it harder for future generations to evolve the compiler.
спасибо, у меня подгорело
AA
и больше не будут пытаться?
а зачем?
AA
вопрос про арм жизненно важный, да. Зимой новые макбуки на арме, будет очень жаль если там даже компилятор не заведется
он работает на арме же и сейчас, в разы медленее просто
AA
Я думаю после макбуков все ринутся повторять, как обычно делают
ну я надеюсь мож не получится ниче толкового, вон микрософт уже лет 8 с этим страдает
R
спасибо, у меня подгорело
Пожалуйста (мне не нужны никакие из этих типов, зато нужно, чтобы текущие работали нормально, а то я постоянно на какой-нибудь корнер кейз натыкаюсь)
AA
ну у мс не такой силы на железо все таки. РТ была альтернативой, не очень понятной юзерам, а макбуки насильно переводятся в течении двух лет на арм и никакого выбора у юзеров нет
речь то не про то, получится ли у эпла, он это проделывает регулярно, а про то что "все так сделают"
AA
Пожалуйста (мне не нужны никакие из этих типов, зато нужно, чтобы текущие работали нормально, а то я постоянно на какой-нибудь корнер кейз натыкаюсь)
так "завхаскель" это и есть заплаты на то что сейчас не работает нормально
AA
ну и его не будет
R
так "завхаскель" это и есть заплаты на то что сейчас не работает нормально
ну как минимум отчасти да, вот я и даю людям высказаться на этот счет
AA
а это уже следствие. Если у эпла получится, то мало кто устоит от того, чтобы тоже удешевить у ультрабуков затраты на охлаждение и увеличить время жизни (а заодно и цену повысить за новизну). За мс не повторили, потому что у них и не получилось
так если у мс не получится, какие тогда ультрабуки-то будут? на хром ос?
AA
АХ
а это уже следствие. Если у эпла получится, то мало кто устоит от того, чтобы тоже удешевить у ультрабуков затраты на охлаждение и увеличить время жизни (а заодно и цену повысить за новизну). За мс не повторили, потому что у них и не получилось
А откуда возьмётся софт на арме?
AA
вообще эти армострадания (а также всякая борьба с спектрами/мелтдаунами) большая проблема и плохие новости для любых более менее выразительных языков (типа хаскеля), все и так ничтожные завоевания последних 20 лет по производительности будут уничтожены