R
Size: a a a
2020 July 02
JG
Ещё вопрос - каково будущее cabal v2(nix) vs Stack. И когда допилят haskel-lsp/hie
AV
Второй вопрос кажется не в тот адрес
G
Что с arm?
ну под новые arm'ные маки гхц мож нормально скомпилируется, тогда можно будет без кросскомпиляции обойтись, спасибо эпл
AV
У тех кто дискутирует и у тех кто пишет lsp/hie ничего общего
KZ
Второй вопрос кажется не в тот адрес
А первый разве сильно по адресу?
AV
Ну там хотя бы дункан есть, то тоже неочень
AP
Ещё вопрос - каково будущее cabal v2(nix) vs Stack. И когда допилят haskel-lsp/hie
По второму: сейчас несколько gsoc идёт на эту тему. К осени что-то приличное ожидается. Но процесс, конечно, вечный.
А cabal vs stack это холиварный вопрос...
А cabal vs stack это холиварный вопрос...
AV
Вот про какое будущее линейных и зависимых типов можно спросить
G
Вот про какое будущее линейных и зависимых типов можно спросить
а где линтипы лучше в идрисе или хаскеле?
R
Вот про какое будущее линейных и зависимых типов можно спросить
это практически то, что я от себя спросил:
> 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.
D
а почему решили больше не обновлять стандарт, кстати?
AV
Как вы оцениваете введения процеса proposals на скорость и качество развития GHC
AV
а почему решили больше не обновлять стандарт, кстати?
Нисмагли же
D
Нисмагли же
и больше не будут пытаться?
AV
Много проблем и сложно
AV
и больше не будут пытаться?
А 2020 уже официально всё?
DI
Q: Кто даст денег, чтобы ghc, cabal и всякое такое пилило сто человек на фуллтайм, а не полтора?
