
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

Александр
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
и кастомные прелюды люблю без частичных функций

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

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

Google

Leonid
11.10.2018
10:59:50

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

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

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

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

Leonid
11.10.2018
11:03:10

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

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

Denis
11.10.2018
11:27:45

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

Dmitry
11.10.2018
12:12:59

IC
11.10.2018
12:14:41