RebindableSyntax

в дешугарингах заменяет квалифицированные имена на обычные, т.е. будет работать то что импортировано

врят ли тут можно говорить "зато", в хаскеле завязанность на классы опциональная, можно отключить

ну тогда одни минусы, но ведётся активно обсуждение, чтобы всё наладить

я так понимаю, это просто скорее аналог не ду-нотации а монад копрешеншонс со всеми похожими особенностями вроде встроенного синтаксиса для гардов

ВМЕСТЕ С ПАПОЙ РЫДАЛА ВСЯ МАРШРУТКА https://twitter.com/channingwalton/status/955536662544764929

правду на хаскельреддите не любят

Остин рубит правду матку

@qnikst пишет по делу, но дело уже никому не интересно

Откуда вообще пошли две партии и срачи?

плюсики не ставят - значит не по делу

кабал развивался еле-еле, потому фп-комплит решила продвигать тулинг, который они начинали для своей нынче мертвой онлайн-иде костылить. сами они говорят что пытались повлиять на разработку кабала, но не смогли, но каких-то подтверждений этого мне найти не удалось. у стека появилось много пользователей и развивать его стало не интересно, а тем временем в кабале выкатили новые фичи. разработчки стека не хотят поддерживать новые фичи потому что 1) они им не нужны 2) они делают стек ненужным в ближней перспективе

также в дискуссиях у представителей двух партий выработалась личная неприязнь друг к другу

ghc и cabal авторы дружат?

смотря какие авторы

Нынешние писатели

те, кто ghc за зарплату пишут, т.е. работники веллтайпт дружат, СПЖ, похоже, уже нет

Ghc пишут well typed?

пишут неинтересные части, на которых диссеры не сделаешь

я думал microsoft research в основном

Я правильно понял, что стек сейчас стал как бы новым кабалом, то бишь набрал много юзеров и почти перестал развиваться? А Кабал тем временем спохватился и активно рванул вперёд?

я думал microsoft research в основном

когда-то в основном три человека получающих зарплату в майкрософт рисерч, но сенйчас от них 1 человек остался

/me поставил плюсиков

Я правильно понял, что стек сейчас стал как бы новым кабалом, то бишь набрал много юзеров и почти перестал развиваться? А Кабал тем временем спохватился и активно рванул вперёд?

в той части что сначала стек был прогрессивным, а потом стал консервативным захватив большую часть пользователей, да. По поводу рванул - нет, они просто доделывают то что начинали еще до появления стека делать, так что влияние всей этой истории на их работу и ее скорость сомнительно

Ясно. То бишь, в долгосрочной перспективе имеет смысл пользоваться стаком и его тулчейном, и к кабалу не соваться?

Cabal ты всё-равно используешь, и даже cabal-install

Имеет смысл попробовать одно. Не понравится, попробовать другое. И выбрать

Ясно. То бишь, в долгосрочной перспективе имеет смысл пользоваться стаком и его тулчейном, и к кабалу не соваться?

в долгосрочной перспективе кабал будет лучше стека, сейчас он поддерживает фичи которых в стеке нет, модули например, но недоделанный

Cabal ты всё-равно используешь, и даже cabal-install

Да, я понимаю, что стак переиспользует какую-то часть кабала, но от этого, правда, ясности не прибавляется. Запутано все пипец (

в долгосрочной перспективе кабал будет лучше стека, сейчас он поддерживает фичи которых в стеке нет, модули например, но недоделанный

Интересно. Надеюсь, они-таки найдут консунсус с разрабами стака и сделают одну тулу, и перестанут морочить головы простым юзерам )

вореоятность этого равна нулю

Интересно. Надеюсь, они-таки найдут консунсус с разрабами стака и сделают одну тулу, и перестанут морочить головы простым юзерам )

Не может быть мира в войне на уничтожение.

Так все запущено?!

у меня опять ghc-8.0.2 сегфолтится :(

> Запутано все пипец Я проясню. Стэк — ересь, а кабал — сырой.

сырой как земля матушка

Стэк можно только выкинуть, а кабал можно допилить (потому что его уже выкинули и сделали new-*)

А давайте допиливать кабал!

Так все запущено?!

да просто не заинтересован никто из тех кому надо договариваться в том чтоб договориться

А почему столько желающих добавить фич в ghc, и мало желающих написать новый *hc ?

в Утрехте же наваяли?

А почему столько желающих добавить фич в ghc, и мало желающих написать новый *hc ?

ну не то чтобы мало таких желающих, их же несколько начинали писать, другое дело что работы слишком много

ресёрч в ЯП уже не тот. все сбежали на второй виток ИИ

причем работы неинтересной для рисерчера

А давайте допиливать кабал!

Чую сложно и мало кто умеет )

там сложного мало. если не трогать солвер, конечно

давайте

в остальном обычное "системное программирование" с файлами и запуском программ с нужными флагами

я вообще хочу stack-to-project сделать

я вообще хочу stack-to-project сделать

это подпалит стулья конечно, но никто не выкажет

устраиваем кабал хакатон в Гатчине?

я вообще хочу stack-to-project сделать

что это значит?

если у тебя есть stack.yaml ,то сгенерировать по нему project.cabal

ну и склонировать репы в vendor и т.п.

и cabal.project.freeze

разве в кабалфайлах уже можно несколько пакетов описывать?

уже больше года как?

ну и склонировать репы в vendor и т.п.

а это от лукавого

почему?

стек так делает

или что не вижу того нету?

окей будет в .stack/vendor/sha клонировать

ты ж знаешь как в cabal.project сделано?

там можно прописать: vendor-packages: vendor/**/*.cabal

vendor — это же чужой код, который ты коммитишь в свой репо?

ERROR: S client not available

не обязательно коммитить

в стеке ты ж ничего не коммитишь

просто оттуда будут притащены либы

очень удобно, особенно для локальных тестов и патчей

тогда это не vendor, а просто зависимости

все называют vendor и я называю, в литературные споры я вдаваться не готов

по-моему, вендорингом все называют что-то другое

тем более, нет нужды называть вендорингом зависимости, если их можно называть зависимостями

ну я много раз видел в vendor submodules

принципиально то, что там submodules в гите или в другой метадате - не важно

но пусть будет как ты говоришь

third-party

да какая разница, для эстетов я готов конфиг/template file где все настроют

смотри, не сделаешь как я хочу - придётся тебя форкнуть!

а меня тогда 2 будет?

но вообще я сейчас LF ботаю, у меня не особо много времени на эту радость

хотя можно только главу доделать одну и тогда время будет перед следующей

LF?

Logical Foundations

это для умных

для меня норм

Ну так да

в первых четырех главах есть только одна сложная задача (которая помечена как сложная), так-то книга все хорошо объясняет и некоторые задачи решаются механически

с другой стороны иногда было сложновато и я слишком много вопросов задавал

в некоторых местах

с backward reasoning особенно

> As long as there is social friction in the community there will always be technical friction. The only way you will get rid of technical friction is to first get rid of social friction. Trying to fix social problems with technical solutions like this one is the wrong away around. все никак не могу понять как предлагается решать социальные проблемы. > The only way we will get back to a tight and cohesive infrastructure is if the Hackage and Stackage maintainers act like adults and resolve their personal differences. видимо у всех "взрослых людей" общие интересы?

Битьём бамбуковой палкой?

тяпками

Нет. Нельзя тяпками, мы же за гуманизм и человеколюбие

Пол Пот не хотел никого убивать, он просто хотел вести себя как взрослый и решить социальные проблемы

> As long as there is social friction in the community there will always be technical friction. The only way you will get rid of technical friction is to first get rid of social friction. Trying to fix social problems with technical solutions like this one is the wrong away around. все никак не могу понять как предлагается решать социальные проблемы. > The only way we will get back to a tight and cohesive infrastructure is if the Hackage and Stackage maintainers act like adults and resolve their personal differences. видимо у всех "взрослых людей" общие интересы?

А откуда эти цитаты? Интересно почитать.