A64m
т.е. и этот пейпер не новый, но я думал что заглохло раньше, этот я как-то пропустил
Leonid 🦇
Our chief weapon is parametricity...parametricity and laziness...laziness and parametricity....
Our two weapons are parametricity and laziness...and control over effects....
Our *three* weapons are parametricity, laziness, and control over effects...and an almost fanatical devotion to the making impossible states unrepresentable....
Our *four*...no... *Amongst* our weapons.... Amongst our weaponry...are such elements as parametricity, laziness....
I'll come in again.
Слава
Our chief weapon is parametricity...parametricity and laziness...laziness and parametricity....
Our two weapons are parametricity and laziness...and control over effects....
Our *three* weapons are parametricity, laziness, and control over effects...and an almost fanatical devotion to the making impossible states unrepresentable....
Our *four*...no... *Amongst* our weapons.... Amongst our weaponry...are such elements as parametricity, laziness....
I'll come in again.
"NOBODY expects the Spanish Inquisition! Our chief weapon is surprise...surprise and fear...fear and surprise.... Our two weapons are fear and surprise...and ruthless efficiency.... Our *three* weapons are fear, surprise, and ruthless efficiency"
A64m
я как всегда перепутал авторов
правда ветка-то с 13-го года не обновлялась, https://github.com/ghc/ghc/tree/ghc-lwc2 так что лучше у марлоу спросить, как там дела
Alexander
https://github.com/haskell/ecosystem-proposals/pull/4
Alexander
обсуждалки!
A64m
про этот сборник пропозалов никто кроме Марлоу не знает, страшно даже представить что туда накидала бы общественность, если бы узнала о нем
Alexander
я как понимаю это будет везде, reddit листы и прочее объявлено
A64m
> To be honest, I'm rather sceptical about this proposal being effective at achieving the stated goals.
Alexander
угадай hvr по камменту?
Alexander
вообще один из основных goal-лов не дать снойманитам форкнуть hackage и базу
Alexander
к чему они успешно идут
Alexander
где будет .hpack вместо .cabal, rio вместо base и т.п.
A64m
надо было сначала самому восстановить хвр-овский комментарий на эту тему, а потом уже посмотреть правильно ли (ошибиться просто невозможно, на самом деле)
A64m
пока гхц не форкнут - можно не беспокоиться, а гхц они не потянут
Leonid 🦇
Но ведь ревизии полезны :(
A64m
довольно странный пропозал, ненужная и сомнительная с технической точки зрения вещь, являющаяся, по сути, только призывом все обсудить чтоб была МИР ДРУЖБА, естественно это приведет к тому, что ненависть между лагерями только усилится и раскол на две экосистемы наступит раньше
A64m
это стандартная реакция на такие инициативы, достаточно вспомнить как дважды постили призыв СПЖ "давайте жить дружно" и как оба раза снойманиты и кабалисты грызли друг другу глотки в комментариях
Leonid 🦇
ну ХВР справедливо опасается что снойманиты окончательно превратят хакадж в стейджинг для говнопакетов
Denis
почему в стейджинг?
Denis
в продакшен
Leonid 🦇
продакшен это стакадж же. там только всё самое зе бест
Leonid 🦇
а на хакадж можно срать как в npm
Vladislav
Stackage должен быть просто сайтом на котором один cabal.project.freeze файл распространяется
Vladislav
Ладно, не один, у них же там LTS и Nightly
Leonid 🦇
Denis
не один, а много
Alexander
@lonokhov я так понимаю это не банит revisions
Alexander
для меня это все выглядит как сделать так что вообще форкнуться можно...
Alexander
скорее так, если форкнутся, то будет центральный реестр пакетов
Alexander
чтобы не было aeson from hackage и другой aeson from stackage
Leonid 🦇
Ну надеюсь хоть срач удачный будет
Kirill
А для хаскеля нету же аналога http://erlang.org/doc/apps/tools/xref_chapter.html ?
Kirill
А то трейсов так и не подвезли, валится исключение в threadWait, а в глубине какого куска оно может вызываться совершенно непонятно
A64m
чтобы не было aeson from hackage и другой aeson from stackage
это требует некоей доброй воли при наличии которой такого не случится и при нынешнем положении вещей
Leonid 🦇
F5 можно жать тут https://www.reddit.com/r/haskell/comments/7s58id/slurp_a_single_liberal_unified_registry_of/
Alexander
ну сейчас как я понял снойманиты явно держат тренд на сильный форк
Alexander
и как я понял пропосал делает подстилку, чтобы падать было менее больно
Alexander
причем форк на уровне отвязывания от hackage/cabal технологий
Leonid 🦇
ну сейчас как я понял снойманиты явно держат тренд на сильный форк
в форке ghc будет один коммит в котором заменяется prelude?
Kirill
сильный форк это как?
Leonid 🦇
у них даже от Cabal-the-library будет тонка кишка отвязаться
Leonid 🦇
там человеко-годы труда
Alexander
да ладно, кривокосое решение, которое развалится при отходе от safe-path просто пишется
Alexander
go-way
Leonid 🦇
ну это да
Denis
go away решение
Denis
чего там за драма такая?
Denis
слурп?
Alexander
slurm
Alexander
futurame
Alexander
все такое
A64m
ну сейчас как я понял снойманиты явно держат тренд на сильный форк
так я об этом и говорю, чем их привлечет этот единый регистр пакетов? Тем что им не злые кабалисты владеют? Так те кто контролирует реест тоже будут или снойманиты или "злые люди, которые пользователей обижают"
Alexander
тем, что использование регистра очень дешевое
Alexander
ну как я понимаю, тут попытка выйти на win-win
Alexander
учитывая, что насколько я понимаю они не против
Alexander
кстати draft пропозала отличался
Alexander
там была идея что slurp пакеты хостить будет, а hackage и stack будут за ними ходить к нему (ну или кешировать)
Alexander
т.е. для меня пропозал не очень нужный, но если есть то лучше с ним чем без
Alexander
чтобы если будут сплиты, но в яву бы не превратилось
Kirill
@qnikst не встречал ничего для постройки кросс-референсов по хаскельным сырцам?
Alexander
не очень понимаю
Kirill
гугл выдаёт гугловский хаскель-индексер какой-то, никто не трогал?
Alexander
haddock разве не умеет?
Alexander
или тебе для поиска?
Kirill
мне надо найти кто вызывает функцию
Kirill
причём судя по всему для каких-то не наших либ
Kirill
вариант, конечно, всё скачать и грепать :)
Kirill
хаддок ссылки "вперёд" делает. как я понимаю
Kirill
а мне "назад" надо
Alexander
а
Alexander
было что-то из вимоиндексеров
A64m
тем временем https://github.com/ghc/ghc/commit/4a13c5b1f4beb53cbf1f3529acdf3ba37528e694
ну, хоть одна новая фича в 8.6 все-таки будет, недоглядели
Leonid 🦇
В 8.4 не успело?
Cheese
джвадцать лет жду
A64m
вообще нет, но там новые правила приема фич какие-то, может и примут (сильно сомневаюсь)
Alexander
вроде feature freeze сегодня был 8.4
A64m
как я понял в новой схеме строгого фриза вообще не предусмотрено. Так-то он в ноябре был.