A64m
регулярно читаю чейнджлог стека
A64m
повторяю "но как какие-то мои пожелания относятся к факту что не развивается"
Vasiliy
ну, выше было сказано, что его надо выкидывать
Quet
тогда какое развитие тебе надо? )
Vasiliy
правда, это было про отсутствие поддержки cabal 2
Quet
и да, каким боком тут "выкидывать" вообще
A64m
повторяю "но как какие-то мои пожелания относятся к факту что не развивается"
Vasiliy
так что вполне обоснованно, во всяком случае пока
A64m
я просто констатирую факт - не развивается. Пожеланий у меня на этот счет нет
Quet
не очень понятно с чего ты решил что это факт
Quet
коммиты есть? есть
версии новые есть? есть
но приходит чувак и на голубом глазу начинает задвигать про "не развивается" и "выбросить"
A64m
ок. примеры развития какие-то назовите
A64m
к примеру в случае кабала это нью-билд
Quet
бремя доказательство вроде как на утверждающем, не?
A64m
а у стека что нового?
Vasiliy
я, собственно, больше не в защиту стэка вписался, а с вопросом: как без него?
A64m
да не надо без него
A64m
то что там ничего не собирается с новым шаблоном, так это что, что-то для хаскеля необычное?
Vasiliy
какая альтернатива stack new, поправить .cabal и stack.yaml и получить что-то рабочее?
A64m
ну да
Алексей
Просто скажу, что «не развивается» ≠ «не поддерживается»
Vasiliy
A64m
Vasiliy
я бы даже сказал, что даже если что-то может развиваться, то иногда стоит остановиться
Vasiliy
вот один из примеров http://harmful.cat-v.org/cat-v/
Евгений
что-то coreutils всё никак не сдохнет
Ну тип что угодно может дожить до глубокой старости. И да, констатация приближающейся смерти не призыв убить. Вообще не разу. Просто это повод задуматься о замене.
Quet
что за бремя доказательства еще?
ну прост если человек высказывает какой-то тезис (стек не развивается) то желательно это утверждение снабдить аргументами
а не требовать у других опровержения
кана
О, я наконец увидел эти две фракции хаскелистов
Евгений
A64m
какого рода для этого еще аргументы нужны, кроме того, что ничего существенного в его чейнджлоге нет? И назвать вы ничего не можете. Я же легко ответил на ваши выпады по поводу гхц назвав значительные фичи, назвал значительные новые фичи в кабале.
Dmitry
а какие в стеке нужны значительные фичи?
A64m
ну вот опять, никакие не нужны
Dmitry
ну может, тогда всё в порядке?
Алексей
Если фичи не нужны, значит и развитие не нужно
Алексей
А кто утверждает, что отсутсвие развития — плохо
A64m
"не развивается" не то же самое, что "не в порядке", по моему, по крайней мере, выше высказывается и другое мнение, правда
Vasiliy
Quet
Vasiliy
впрочем, глядя на го, уверенно можно сказать, что они против развития
andrei
а че разве стэк не был лучше кабала?
Vasiliy
Quet
тезис что продукт надо каждый год переписывать с нуля и выпускать несовместимую с прошлой версию это НУ ТАКОЕ
A64m
A64m
то, что многим это вообще не надо, не значит что это какое-то неразвитие, наоборот, это типично для развития, сначала это только ранним адаптерам интересно
A64m
A64m
я просто констатировал факт, что одни переписывают, а другие нет
Quet
A64m
со временем может и сделает
A64m
пока что развивателям кабала еще работать и работать
A64m
но тем кто новым пользуется уже нехорошо, кабал 2-то стек нормально не поддерживает
Vasiliy
а есть где-нибудь документ типа "cabal-install vs stack" в стиле "git vs hg"?
Dmitry
ну починят, небось?
Dmitry
issue запилил кто-нибудь?
Vasiliy
ну типа "stack new" vs "cabal new-build"
Vasiliy
типичные команды, выполняемые типичными пользователями того или иного инструмента
A64m
не видел, когда новый кабал более-менее доделают - тогда и появится наверное
A64m
новый кабал для любителей приключений, кабал+никс - для опытных пользователей, начинающим нормально стек, но не лезть в найтли
A64m
и забыть про новые версии пакетов и гхц 8.2 пока
A64m
также надо помнить что шаблоны для нью - это помойка, никто их не суппортит, начинать надо с базового шаблона и руками править что нужно
A64m
Dmitry
а никто не хочет на fpconf про никс что-то порассказывать?
Vasiliy
поскольку холивар закончился, а пятница ещё продолжается, немного наброшу
Vasiliy
некоторое время назад тут было обсуждение искусственного интеллекта, вселенной и всякого такого, и было сказано, что вселенная, в общем-то, моделируется машиной тьюринга
Dmitry
холивар вяловат был
Vasiliy
к сожалению, либо я кривой, либо поиск в телеграме кривой, так что цитат привести не могу
A64m
так я не настоящий стекохейтер
Dmitry
надо тренироваться!
Vasiliy
собственно, вопрос - если вселенную можно смоделировать машиной тьюринга, а неразрешимые задачи на ней решить нельзя, означает ли, что эти задачи неразрешимы в принципе?
Алексей
А откуда мы знаем, что вселенную можно смоделировать на машине Тьюринга?
Vasiliy
я честно искал в истории телеграма ту дискуссию, но не нашёл
Vasiliy
помню, что в ней участвовал Михаил Бахтерев и речь шла об ИИ
Dmitry
если нас самих моделируют, откуда нам знать, что можно моделировать, а что нет
Dmitry
и какая разница, если что-то нельзя, мы все равно об этом не узнаем
A64m
я не математик, а бывший (очень плохой) физик, потому мне всегда странно слышать такие вещи, математика для меня это что-то вроде лопаты для землекопа, т.е. я не вижу каких-то принципиальных проблем сделать лопату лучше. Практические понятно есть, изобретение полностью новой математики, в которой будут решаемы какие-то нерешаемые этой математикой задачи, нереалистично. Но многие математики думают, что математика изучает не сама себя, а какие-то фундаментальные законы вроде физических
Anonymous
> Но многие математики думают, что математика изучает не сама себя, а какие-то фундаментальные законы вроде физических
По-моему как раз наоборот
Anonymous
Особенно сейчас
A64m
ну ладно тогда
Vasiliy
мне казалось, что физики считают свои теории каким-то истинным положением вещей