@haskellru

Страница 1515 из 1551
A64m
11.10.2018
10:21:08
вероятно hie с плагином для ликвидхаскеля

Leonid
11.10.2018
10:22:55
Важное уведомление для новичков в Haskell. Нужно относиться скептически ко всему, что говорится или утверждается в этом чате. Хаскеллисты делятся на "академиков" и "практиков". У первых проявляется узкий формалистический подход. Они могут утверждать, что какая-то вещь плоха или неприменима, ведь вот же есть пейпер, где так написано. Однако в пейперах чаще рассматривается узкая задача, с необходимыми исследователю ограничениями, потому что цель пейперов - в математических выкладках, для которых важны строго определенные начальные положения. На практике же задачи либо не требуют использовать инструмент так узко и без фантазии, либо ограничения вполне допустимы, либо можно применить какой-нибудь трюк, который академикам покажется "нечистым" и "небезопасным", из-за чего они его и не рассматривают вовсе. Это значит, что утверждения в этом чате о неприменимости все еще следует проверять экспериментом, не вычеркивать инструмент из своего набора, пока не найдено, что в вашей задаче он действительно неприменим. Также очень скептически стоит относиться ко всем околоформальным беседам про морфизмы, продвинутую магию на типах и прочий матан. Эти беседы ведет все та же академическая часть хаскеллистов, и они более всего заметны, что оставляет ощущение, что Haskell - сложный и непонятный. Однако на практике этот "высокий штиль" применяется очень редко, потому что в целом может вредить проекту больше, чем помогать: плохой поддерживаемостью, никому неизвестными ad-hoc решениями (вместо известных практик), и той пресловутой формалистской узостью применения инструментов. К сожалению, все еще существует некая убежденность академической части хаскеллистов в том, что если не формализовано - значит, не существует, или плохое. Но это лишь мнение. Ведь практика, как мы знаем, сильно расходится с теорией.
я вот чо не понял. а кто в этом чате академики то? @xgrommx вообще фронтендер (на яваскрипте)

Aleksey
11.10.2018
10:23:14
"диванные академики" же

Leonid
11.10.2018
10:23:30
назовите парочку

Google
Terminator
11.10.2018
10:23:49
@graninas будет жить. Поприветствуем!

Александр
11.10.2018
10:24:18
@btbvoy Спасибо

A64m
11.10.2018
10:24:33
я вот чо не понял. а кто в этом чате академики то? @xgrommx вообще фронтендер (на яваскрипте)
кто за FT - академики кто за фримонады - практики очевидно же

Александр
11.10.2018
10:25:03
Не вижу, из каких моих утверждений это следует

Aleksey
11.10.2018
10:25:08
я как новичок вставлю 5 копеек: приходя в хаскель по началу кажется и вправду что без знания каких-то пейперов (которые впрочем тоже не понятно как искать и от чего начинать) нет никакого толку изучать хаскель. т.к. какой-то общей картины как и что делать по началу сложно собрать. В принципе не ясно что есть ок, а что нет и как это вообще оценивать. Когда читаешь чат или другие какие-то публикации и примеры в инете - они напоминают мануал по рисованию совы (когда первые 3 шага это рисование просто овалов, а 4ый полностью нарисованная сова с полной детализацией). и по правде сказать, лично мне, подобное описание от Александа очень даже в какой-то степени помогло просто забить на поиски каких-то пейперов и просто начать пробовать просто брать книги и постепенно пробовать. может имеет смысл вам предложить вариант как свои ИМХО какие бы они не были - выкладывать в какой-то свой ресурс сообщества, и так каждый кто прийдет сможешь пройтись по записям / заметкам каждого из участников и сам для себя сформировать видение что и как ему видится стоит делать. к примеру в результате чтения чата, я для себя понял что проект который хотел / хочу пилить на хаскеле - пока не буду делать на хаскеле ? и запилю на том что умею. Тем временем, так же отсюда взял то какие книги мне могут помочь в изучении и понял что как и с другими языками что изучал буду и тут сначала пилить в лоб, и постепенно набивая шишки (и читая вероятно эти самые пейперы) постепенно учить и решать задачи. я это все к тому что вы как-то остро на Александра пост отреагировали, и лично мне каким бы он ни был может субъективным - то помог.
Нужно просто брать хаскель и делать на нём свои проекты так, как хочется. Благо хаскель вполне позволяет такое. Идиоматичность потом можно подтянуть. Единственное препятствие - отсутствие либ для решения конкретной задачи. Но тут всё как у всех - либо пишешь сам, либо выбираешь другой стек.

Ilya
11.10.2018
10:25:13
я как новичок вставлю 5 копеек: приходя в хаскель по началу кажется и вправду что без знания каких-то пейперов (которые впрочем тоже не понятно как искать и от чего начинать) нет никакого толку изучать хаскель. т.к. какой-то общей картины как и что делать по началу сложно собрать. В принципе не ясно что есть ок, а что нет и как это вообще оценивать. Когда читаешь чат или другие какие-то публикации и примеры в инете - они напоминают мануал по рисованию совы (когда первые 3 шага это рисование просто овалов, а 4ый полностью нарисованная сова с полной детализацией). и по правде сказать, лично мне, подобное описание от Александа очень даже в какой-то степени помогло просто забить на поиски каких-то пейперов и просто начать пробовать просто брать книги и постепенно пробовать. может имеет смысл вам предложить вариант как свои ИМХО какие бы они не были - выкладывать в какой-то свой ресурс сообщества, и так каждый кто прийдет сможешь пройтись по записям / заметкам каждого из участников и сам для себя сформировать видение что и как ему видится стоит делать. к примеру в результате чтения чата, я для себя понял что проект который хотел / хочу пилить на хаскеле - пока не буду делать на хаскеле ? и запилю на том что умею. Тем временем, так же отсюда взял то какие книги мне могут помочь в изучении и понял что как и с другими языками что изучал буду и тут сначала пилить в лоб, и постепенно набивая шишки (и читая вероятно эти самые пейперы) постепенно учить и решать задачи. я это все к тому что вы как-то остро на Александра пост отреагировали, и лично мне каким бы он ни был может субъективным - то помог.
Александр (Гранин) -- молодец, делает интересные проекты и does the good job по популяризации ФП. Но его крестовый поход против "академиков" лично у меня вызывает только смех. Хаскелль такой как он есть именно благодаря "академикам" и академикам. А когда язык дизайнят "практики" на выходе получается го.

Александр
11.10.2018
10:25:18
Я за фри-монады, но против FT ничего не имею

@ilya_yanok Спасибо за мнение.

Aleksey
11.10.2018
10:26:14
Я за FT, я академик, получается. Но очень плохой, негодный академик

Kirill
11.10.2018
10:26:39
диванный?

Dmitry
11.10.2018
10:26:41
я вообще не академик, но за FT прошу внести в протокол

Aleksey
11.10.2018
10:27:10
диванный?
Вроде нет пока

A64m
11.10.2018
10:27:10
Не вижу, из каких моих утверждений это следует
ну вы же в своем программном выступлении ни одного примера не привели что за академики, какие решения работают, а они считают, что нет - ничего не понятно

Google
Aleksey
11.10.2018
10:28:09
Вощм, я - снойманит-гонзалесовец. "Шоб и новички могли и шоб просто работало"

A64m
11.10.2018
10:28:57
Слишком мало полных квалификаций в сообщении для гонзалесовца

Aleksey
11.10.2018
10:29:19
Импортить квалифайно люблю, тем не менее.

Но точно не Data.Text.Lazy.pack :)

А ещё я стекофаг, не умею в nix и new-cabal, приемлю hpack

Leonid
11.10.2018
10:31:05
я вот тоже за FT но против писание библиотек "под новичков"

Aleksey
11.10.2018
10:32:11
илитизм приуменьшают?

A64m
11.10.2018
10:33:07
Да просто опытный хаскелист не имеет никакого представления о том, что лучше новичку, придумывает какое-то адище и продвигает его потом под лозугнгом ПОДУМОЙТЕ О ДЕТЯХ!11!

Dmitry
11.10.2018
10:35:28
тут админы-то еще остались, после всех этих демаршей?

A64m
11.10.2018
10:37:43
как минимум @icrbow еще

IC
11.10.2018
10:40:22
Что? Где? Кого забанить?

Anatolii
11.10.2018
10:41:17
А ещё я стекофаг, не умею в nix и new-cabal, приемлю hpack
я уже ушел от стэка и плотно сижу на никсе, но от hpack пока не отказался:)

и кастомные прелюды люблю без частичных функций

A64m
11.10.2018
10:41:49
еще не ушел со стека, но планирую

Leonid
11.10.2018
10:43:02
я и не заходил на стек

A64m
11.10.2018
10:43:08
думаю, после того как hie будет с нью-билдом работать, плюсов стека для меня уже не останется

Aleksey
11.10.2018
10:43:48
я тоже планирую new-build потыкать как-нить. Но стек меня пока вполне удовлетворяет.

Dmitry
11.10.2018
10:49:18
я тоже планирую new-build потыкать как-нить. Но стек меня пока вполне удовлетворяет.
Как вы на stack'е распараллеливаете сборку? У меня такое впечатление, что старый cabal это лучше делал

Google
Aleksey
11.10.2018
10:49:32
Не распараллеливаю

Dmitry
11.10.2018
10:49:35
Запускаешь cabal build и все процессоры сразу заняты

А почему?

Aleksey
11.10.2018
10:51:02
Я больше в RAM упираюсь и в IO (у мну HDD в ноуте)

Dmitry
11.10.2018
10:51:26
А как сказать stack'у, чтобы он больше RAMы использовал?

Есть в этом смысл?

Aleksey
11.10.2018
10:51:54
GHC и так использует всё, что есть

Чем превращает мой комп в тыкву периодически

Dmitry
11.10.2018
10:52:40
Дык есть же nice и ionice

Ну и zswap :)

Aleksey
11.10.2018
10:54:05
Проблема не в загрузке ядер. Я поку сказать -j1 и будет одно ядро. Проблема в том, что GHC периодически вытесняет в подкачку всё кроме себя. А подкачка на HDD

В итоге если я сделаю clean + build нашего проекта, то можно смело чай идти пить - комп будет неотзывчивым известное кол-во минут.

Dmitry
11.10.2018
10:55:30
Ну понятно.

Почему так много памяти требуется?

Aleksey
11.10.2018
10:56:53
Потому что GHC - прожорливый?

На самом деле это код проекта такой: генерики, TH, и т.п.

Dmitry
11.10.2018
10:57:39
Ну, просто в живую не видел проектов, которые бы прям всю память выедали.

А, ок.

Andrei
11.10.2018
10:57:44
В итоге если я сделаю clean + build нашего проекта, то можно смело чай идти пить - комп будет неотзывчивым известное кол-во минут.
чтобы полечить неотзывчивость, ака bug #12309, достаточно сказать scsi_mod.use_blk_mq=1 ядру и echo 'bfq' > /sys/block/sdX/queue/scheduler

чтобы полечить неотзывчивость, ака bug #12309, достаточно сказать scsi_mod.use_blk_mq=1 ядру и echo 'bfq' > /sys/block/sdX/queue/scheduler
последнее автоматизируется файликом а-ля https://build.opensuse.org/package/view_file/Base:System/systemd/60-io-scheduler.rules?expand=1 в /etc/udev/rules.d

Google
Leonid
11.10.2018
10:59:50
В итоге если я сделаю clean + build нашего проекта, то можно смело чай идти пить - комп будет неотзывчивым известное кол-во минут.
Вот вместо гаджетов и соносолей взял бы себе помощнее машину для работы. У вас москвичей же зарплаты конские

Dmitry
11.10.2018
11:00:21
А как тогда страдать?

A64m
11.10.2018
11:00:35
переходить на раст

Leonid
11.10.2018
11:01:52
/me набросил токсичности

переходить на раст
rustc тоже жрёт память и тормозит

Dmitry
11.10.2018
11:02:32
это хорошо

Aleksey
11.10.2018
11:02:34
Dmitry
11.10.2018
11:03:05
А просто памяти докупить?

A64m
11.10.2018
11:03:05
rustc тоже жрёт память и тормозит
еще больше даже, но это был ответ на вопрос как продолжить страдать с нормальной машиной

Aleksey
11.10.2018
11:03:28
С собой таскать неудобно :)

Leonid
11.10.2018
11:03:43
Пора остепениться

Не молодежь уже

A64m
11.10.2018
11:04:38
таскать легкий, заходить с него на нормальный

Dmitry
11.10.2018
11:06:06
Так а памяти докупить не вариант? И sdd поставить?

Aleksey
11.10.2018
11:08:28
Собираюсь это и сделать

Dmitry
11.10.2018
11:09:00
?

A64m
11.10.2018
11:09:06
вроде у ноутбуков которые удобно таскать и так ссд

Dmitry
11.10.2018
11:09:44
Так, похоже, Евгений таки отправит видеосообщение...

Aleksey
11.10.2018
11:11:36
вроде у ноутбуков которые удобно таскать и так ссд
У мну ноут старый довольно. Когда я покупал, у мну юыли варианты "SSD + плохой экран" или "HDD + хороший экран"

Google
Leonid
11.10.2018
11:12:08
Теперь это blah

IC
11.10.2018
11:13:15
Leonid
11.10.2018
11:13:47
Там хаскель тут ноутбуки

IC
11.10.2018
11:24:04


Leonid
11.10.2018
11:28:14
эээ! я не фронтендер
Сорян, данные устарели

Anton
11.10.2018
11:28:51
Хотят тайплевел трекинг исключений сделать?

Yuriy
11.10.2018
11:29:52
Хотят тайплевел трекинг исключений сделать?
чёрт. сначала прочитал как "хайплевел трейнинг"

Anton
11.10.2018
11:30:29
Если и это можно сделать на type level sets, то надо делать

IC
11.10.2018
11:33:12
Плагинчики должны хорошо заходить для переноса доказательств после экстракции

А не как сейчас, unsafeCoerceEverything

Anton
11.10.2018
11:35:56
Это то, что поисходит, когда coq просишь в хаскелль код нагенерить?

IC
11.10.2018
11:36:50
Ага

Целиком туда coq засовывать конечно так себе, но некоторые аксиомки всё же можно наверно.

A64m
11.10.2018
11:50:00
в каком смысле переноса? плагин просто вставляет свои коэрсии - тут все доказано плагином - вместо ансейфКоэрс же

ну и для экстракции из кока или там для малонсы плагин вроде не применить, по крайней мере не через жопу

Dmitry
11.10.2018
12:11:00
А это откуда слайд?

Andrei
11.10.2018
12:12:31
А это откуда слайд?
предположу, что с haskellX

Dmitry
11.10.2018
12:12:59
предположу, что с haskellX
Интересно, кто докладчик ?

IC
11.10.2018
12:14:41
А это откуда слайд?
Writing typechecker plugins, Gabe Dijkstra

Страница 1515 из 1551