Alexander
в рабочем чятике, где на основе авторитета можно сделать достаточно токсичную атмосферу, чтобы другая сторона решила, что дешевле помолчать
Влод
это самое а что делать если glibc не подходит?
Влод
то есть компилирую на одной убунте и включаю на другой
Алексей
Важное уведомление для новичков в Haskell.
Ради бога, осторожнее с этим. Можно так это уведомление меметизировать
Влод
и нужна какая-то кросскомпиляция на убунтах
Leonid 🦇
то есть компилирую на одной убунте и включаю на другой
компилируй на убунте на которой запускать будешь
A64m
Не уверен, что смогу не начинать так каждое второе мое сообщение здесь
Leonid 🦇
бинари на линуксе в общем случае не портируемы
Влод
там не хватает оперативы
Leonid 🦇
ну я вот в виртуалках компиляю для центоса
Leonid 🦇
говорят с musl можно как-то ghc подружить. но это ghc пересобирать
Alexander
в виртуалке к сожалению самое простое
Alexander
или взять nix и тащить свое с собой
Leonid 🦇
ну можно в докерах. но nix не умеет
Leonid 🦇
ага, и тащить потом nix. на серверах прокатывает
Leonid 🦇
на десктоп чужой ты nix не протолкнёшь
Alexander
nix умеет докеры делатьэ
Alexander
так что норм
Alexander
а понял фразу
Alexander
Alexander
ко многим относится
Влод
а на компилирующей убунте я смогу безболезненно понизить версию glibc?
Andrey
бинари на линуксе в общем случае не портируемы
Роман Ч писал, как делать норм бинари на дебиане и пускать под редхатом
Alexander
маловеровтно
Alexander
если не совпадают то или тащишь с собой или делаешь окружение с нужными
Alexander
виртуалка/контейнер - самый простой способ сделать нужное окружение
Alexander
причем это не проблема haskell
Alexander
это в принципе проблема бинарей на linux
Leonid 🦇
Роман Ч писал, как делать норм бинари на дебиане и пускать под редхатом
только если glibc и gmp совпадают более менее. обычно можно под более старый glibc компильнуть и на новом прокатит. обратное не верно
Andrey
-moptl -static и ещё integer-gmp, чтобы отвязаться от libgmp
Апач
почему нельзя собирать всё в докер?
Andrey
ну или контейнеры, да
Leonid 🦇
потому что не у всех задача "деплоить вебню на aws"
Alexander
так дошёл до дома, выскажусь ещё одним рантом про академиков и закончу. самое смешное, что главный апологет практиков, очень сильно популяризирует именно академическое решение, от самого академичного академика, у которого нету ни одной практичной реализации
Alexander
подробно про рант, писать не буду и что там не так, а то ещё два дня все ругаться будут
Leonid 🦇
/me просто не стал читать рант
Aleksei (astynax)
можно попробовать скомпилить с musl вместо glibc
Aleksei (astynax)
Тогад статически прилинкуется и будет работать на плюс-минус похожих линуксах
Alexander
/me просто не стал читать рант
прочитай он интересный
Leonid 🦇
musl правда значительно тормознее глибцов
IC
Подозрительно много народу пришло послушать про хаскельные иды
Pavel
при всем своем bias, я стараюсь не выносить критические opinionated сообщения таким образом
я как новичок вставлю 5 копеек: приходя в хаскель по началу кажется и вправду что без знания каких-то пейперов (которые впрочем тоже не понятно как искать и от чего начинать) нет никакого толку изучать хаскель. т.к. какой-то общей картины как и что делать по началу сложно собрать. В принципе не ясно что есть ок, а что нет и как это вообще оценивать. Когда читаешь чат или другие какие-то публикации и примеры в инете - они напоминают мануал по рисованию совы (когда первые 3 шага это рисование просто овалов, а 4ый полностью нарисованная сова с полной детализацией). и по правде сказать, лично мне, подобное описание от Александа очень даже в какой-то степени помогло просто забить на поиски каких-то пейперов и просто начать пробовать просто брать книги и постепенно пробовать. может имеет смысл вам предложить вариант как свои ИМХО какие бы они не были - выкладывать в какой-то свой ресурс сообщества, и так каждый кто прийдет сможешь пройтись по записям / заметкам каждого из участников и сам для себя сформировать видение что и как ему видится стоит делать. к примеру в результате чтения чата, я для себя понял что проект который хотел / хочу пилить на хаскеле - пока не буду делать на хаскеле 😄 и запилю на том что умею. Тем временем, так же отсюда взял то какие книги мне могут помочь в изучении и понял что как и с другими языками что изучал буду и тут сначала пилить в лоб, и постепенно набивая шишки (и читая вероятно эти самые пейперы) постепенно учить и решать задачи. я это все к тому что вы как-то остро на Александра пост отреагировали, и лично мне каким бы он ни был может субъективным - то помог.
Anonymous
@qnikst будет жить. Поприветствуем!
Alexander
я как новичок вставлю 5 копеек: приходя в хаскель по началу кажется и вправду что без знания каких-то пейперов (которые впрочем тоже не понятно как искать и от чего начинать) нет никакого толку изучать хаскель. т.к. какой-то общей картины как и что делать по началу сложно собрать. В принципе не ясно что есть ок, а что нет и как это вообще оценивать. Когда читаешь чат или другие какие-то публикации и примеры в инете - они напоминают мануал по рисованию совы (когда первые 3 шага это рисование просто овалов, а 4ый полностью нарисованная сова с полной детализацией). и по правде сказать, лично мне, подобное описание от Александа очень даже в какой-то степени помогло просто забить на поиски каких-то пейперов и просто начать пробовать просто брать книги и постепенно пробовать. может имеет смысл вам предложить вариант как свои ИМХО какие бы они не были - выкладывать в какой-то свой ресурс сообщества, и так каждый кто прийдет сможешь пройтись по записям / заметкам каждого из участников и сам для себя сформировать видение что и как ему видится стоит делать. к примеру в результате чтения чата, я для себя понял что проект который хотел / хочу пилить на хаскеле - пока не буду делать на хаскеле 😄 и запилю на том что умею. Тем временем, так же отсюда взял то какие книги мне могут помочь в изучении и понял что как и с другими языками что изучал буду и тут сначала пилить в лоб, и постепенно набивая шишки (и читая вероятно эти самые пейперы) постепенно учить и решать задачи. я это все к тому что вы как-то остро на Александра пост отреагировали, и лично мне каким бы он ни был может субъективным - то помог.
я вас понял, прекрасно, живите тут с Александром, будем считать, что я такая бука и никому никогда не помог
Alexander
за сим удаляюсь
Kirill
Ну
Ну что?
Pavel
я вас понял, прекрасно, живите тут с Александром, будем считать, что я такая бука и никому никогда не помог
обращу внимание, что я этого не утверждал. и я ответственнен лишь за свои слова, то как вы их интепретируете - ваша отвественность. имхо каждый участник сообщества важен, и важен также диалог между участниками, т.к. в результате беседы другие участники могут получить новые знания и/или пересмотреть свои, что кмк тоже полезно.
Leonid 🦇
Ну что?
Ну вот оно
Kirill
👍
IC
NC
Это ghc-mod?
A64m
вероятно hie с плагином для ликвидхаскеля
Leonid 🦇
Важное уведомление для новичков в Haskell. Нужно относиться скептически ко всему, что говорится или утверждается в этом чате. Хаскеллисты делятся на "академиков" и "практиков". У первых проявляется узкий формалистический подход. Они могут утверждать, что какая-то вещь плоха или неприменима, ведь вот же есть пейпер, где так написано. Однако в пейперах чаще рассматривается узкая задача, с необходимыми исследователю ограничениями, потому что цель пейперов - в математических выкладках, для которых важны строго определенные начальные положения. На практике же задачи либо не требуют использовать инструмент так узко и без фантазии, либо ограничения вполне допустимы, либо можно применить какой-нибудь трюк, который академикам покажется "нечистым" и "небезопасным", из-за чего они его и не рассматривают вовсе. Это значит, что утверждения в этом чате о неприменимости все еще следует проверять экспериментом, не вычеркивать инструмент из своего набора, пока не найдено, что в вашей задаче он действительно неприменим. Также очень скептически стоит относиться ко всем околоформальным беседам про морфизмы, продвинутую магию на типах и прочий матан. Эти беседы ведет все та же академическая часть хаскеллистов, и они более всего заметны, что оставляет ощущение, что Haskell - сложный и непонятный. Однако на практике этот "высокий штиль" применяется очень редко, потому что в целом может вредить проекту больше, чем помогать: плохой поддерживаемостью, никому неизвестными ad-hoc решениями (вместо известных практик), и той пресловутой формалистской узостью применения инструментов. К сожалению, все еще существует некая убежденность академической части хаскеллистов в том, что если не формализовано - значит, не существует, или плохое. Но это лишь мнение. Ведь практика, как мы знаем, сильно расходится с теорией.
я вот чо не понял. а кто в этом чате академики то? @xgrommx вообще фронтендер (на яваскрипте)
Aleksei (astynax)
"диванные академики" же
Leonid 🦇
назовите парочку
Anonymous
@graninas будет жить. Поприветствуем!
Alexander
@btbvoy Спасибо
A64m
я вот чо не понял. а кто в этом чате академики то? @xgrommx вообще фронтендер (на яваскрипте)
кто за FT - академики кто за фримонады - практики очевидно же
Alexander
Не вижу, из каких моих утверждений это следует
Aleksei (astynax)
я как новичок вставлю 5 копеек: приходя в хаскель по началу кажется и вправду что без знания каких-то пейперов (которые впрочем тоже не понятно как искать и от чего начинать) нет никакого толку изучать хаскель. т.к. какой-то общей картины как и что делать по началу сложно собрать. В принципе не ясно что есть ок, а что нет и как это вообще оценивать. Когда читаешь чат или другие какие-то публикации и примеры в инете - они напоминают мануал по рисованию совы (когда первые 3 шага это рисование просто овалов, а 4ый полностью нарисованная сова с полной детализацией). и по правде сказать, лично мне, подобное описание от Александа очень даже в какой-то степени помогло просто забить на поиски каких-то пейперов и просто начать пробовать просто брать книги и постепенно пробовать. может имеет смысл вам предложить вариант как свои ИМХО какие бы они не были - выкладывать в какой-то свой ресурс сообщества, и так каждый кто прийдет сможешь пройтись по записям / заметкам каждого из участников и сам для себя сформировать видение что и как ему видится стоит делать. к примеру в результате чтения чата, я для себя понял что проект который хотел / хочу пилить на хаскеле - пока не буду делать на хаскеле 😄 и запилю на том что умею. Тем временем, так же отсюда взял то какие книги мне могут помочь в изучении и понял что как и с другими языками что изучал буду и тут сначала пилить в лоб, и постепенно набивая шишки (и читая вероятно эти самые пейперы) постепенно учить и решать задачи. я это все к тому что вы как-то остро на Александра пост отреагировали, и лично мне каким бы он ни был может субъективным - то помог.
Нужно просто брать хаскель и делать на нём свои проекты так, как хочется. Благо хаскель вполне позволяет такое. Идиоматичность потом можно подтянуть. Единственное препятствие - отсутствие либ для решения конкретной задачи. Но тут всё как у всех - либо пишешь сам, либо выбираешь другой стек.
Ilya
я как новичок вставлю 5 копеек: приходя в хаскель по началу кажется и вправду что без знания каких-то пейперов (которые впрочем тоже не понятно как искать и от чего начинать) нет никакого толку изучать хаскель. т.к. какой-то общей картины как и что делать по началу сложно собрать. В принципе не ясно что есть ок, а что нет и как это вообще оценивать. Когда читаешь чат или другие какие-то публикации и примеры в инете - они напоминают мануал по рисованию совы (когда первые 3 шага это рисование просто овалов, а 4ый полностью нарисованная сова с полной детализацией). и по правде сказать, лично мне, подобное описание от Александа очень даже в какой-то степени помогло просто забить на поиски каких-то пейперов и просто начать пробовать просто брать книги и постепенно пробовать. может имеет смысл вам предложить вариант как свои ИМХО какие бы они не были - выкладывать в какой-то свой ресурс сообщества, и так каждый кто прийдет сможешь пройтись по записям / заметкам каждого из участников и сам для себя сформировать видение что и как ему видится стоит делать. к примеру в результате чтения чата, я для себя понял что проект который хотел / хочу пилить на хаскеле - пока не буду делать на хаскеле 😄 и запилю на том что умею. Тем временем, так же отсюда взял то какие книги мне могут помочь в изучении и понял что как и с другими языками что изучал буду и тут сначала пилить в лоб, и постепенно набивая шишки (и читая вероятно эти самые пейперы) постепенно учить и решать задачи. я это все к тому что вы как-то остро на Александра пост отреагировали, и лично мне каким бы он ни был может субъективным - то помог.
Александр (Гранин) -- молодец, делает интересные проекты и does the good job по популяризации ФП. Но его крестовый поход против "академиков" лично у меня вызывает только смех. Хаскелль такой как он есть именно благодаря "академикам" и академикам. А когда язык дизайнят "практики" на выходе получается го.
Alexander
Я за фри-монады, но против FT ничего не имею
Alexander
@ilya_yanok Спасибо за мнение.
Aleksei (astynax)
Я за FT, я академик, получается. Но очень плохой, негодный академик
Kirill
диванный?
Dmitry
я вообще не академик, но за FT прошу внести в протокол
Aleksei (astynax)
диванный?
Вроде нет пока
A64m
Не вижу, из каких моих утверждений это следует
ну вы же в своем программном выступлении ни одного примера не привели что за академики, какие решения работают, а они считают, что нет - ничего не понятно
Aleksei (astynax)
Вощм, я - снойманит-гонзалесовец. "Шоб и новички могли и шоб просто работало"
A64m
Слишком мало полных квалификаций в сообщении для гонзалесовца
Aleksei (astynax)
Импортить квалифайно люблю, тем не менее.