https://ghc.haskell.org/trac/ghc/ticket/9706

в общем это фича

тогда у меня ещё один вопрос есть, почему ghc может выходить с сообщением out of memory, при том что на системе приличного размера swap? он вообще не пытается swap использовать, сразу падает

ни у кого не было такого опыта?

А если явно задавать, +RTS -M100500M?

вот этого я не пробовал

с проблемой вообще столкнулся при сборке cabal

может настройки системы такие?

а stack у меня даже с 4гб памяти с трудом собирается

ghc никак не может управлять тем какую память он использует (про swap)

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

еще -j1 кстати помочь может и для линкера что-то

там swappines надо

> CommitLimit: 11497192 kB надо больше?

Подскажите, у кого-нибудь не завалялось SNMP-poller'а, который шустро-шустро умеет опрашивать сетевые интерфейсы и вливать метрики в graphite? Есть, конечно, himpy… но оно не совсем то.

вот в том же втором курсе если бы было больше задачек на всякие asum, traverse(_) и их хитрые комбинации было бы тоже лучше

а там 1 задача и та простая

почти что нарисуйте сову

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

сова бесполезна

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

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

А ты сам из какой категории?

Я из категории.... Ну явно не Hask 😂 Просто игрался простыми задачками. Теорию ниасилил, практику тоже. Хотя как-то второй куй на кодеварсах получил, оба курса Москвина прошел (во втором не решил 3 задачи), Тетрис и интерпретатор Лиспа написал...

Но тем не менее даже в качестве интерна одну компанию с представителем в этом чате не заинтересовал

Я из категории.... Ну явно не Hask 😂 Просто игрался простыми задачками. Теорию ниасилил, практику тоже. Хотя как-то второй куй на кодеварсах получил, оба курса Москвина прошел (во втором не решил 3 задачи), Тетрис и интерпретатор Лиспа написал...

hask is not a category! 😆😆😆

Андрей в том то и дело, что не сильно ближе

был бы ближе было бы замечательно

Давай так - раз вы ругаете курс Москвина, я буду его защищать - для полноты картины :) Если бы вы его хором хвалили - я бы его ругал. Но для студентов введение в азы теории, простые классы типов и монадные трансформеры имхо самое то. Давай с другой стороны зайдем - что им еще рассказывать? Если там даже задачи на доказательство делают простыми и с ограничениями (думаю, видел мои выпендрежи в комментах про несостоятельность индукции на бесконечных типах)

там вроде какой-то очевидный косяк был с индукцией

про необоснованность перехода

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

очевидный косяк - что наивная индукция строится на предположении конечности шагов для любого аргумента, поэтому это прокатывает в Тапле и МЛ-ях всяких, но не прокатывает в Хаскеле на коиндуктивных типах

там что заявлено то и дано, причем лучше, чем в аналогах

А у меня от второго лучше - первый совсем детский

Хотя я первый и не смотрел лекции совсем - просто решил все задания и все 😂

и тем не менее, халявщики даже предлагают решить несколько задач из него (или аналогичного курса на степике) за пару тыр 😊 http://www.cyberforum.ru/exam-online-help/thread1995057.html

Для просмотра этой страницы необходимо зарегистрироваться.

краткое содержание - халявщик просит решить несколько тривиальных хаскельных задачек - как с курса Москвина - за пару тыр до 18:00 сегодня

Так вот каковы они, вакансии на х-ле.

ну не совсем халявщик, раз деньги платит))

ага, как в классике - партнер ))

ну не знаю

если курс Москвина плох

То какой тогда хорош?

На futurelern был из универа Глазго

Так там вообще детский лепет

Книг с обширной теорией тоже не особо встретишь

Real World это вообще императивный шлак

Ну это по мне

Реал ворлд на любом языке должен быть императивный шлак

Я о книге

Real World Haskell

отличная книга, как по мне, куда лучше lyah

ну lyah это скорей мини тутор

до книги он совсем не дотягивает

ну да, для совсем уж нулёвых

Не должно быть книги со слоном? Только статьи Кметта и прочее подобное, чтобы никто не заинтересовался сабжем? Избегаем популярности любой ценой? ))

никто не говорит, что они не нужны

вопрос в другом

книг среднего уровня нет

начального есть

а среднего нет

А зачем они?

Идешь и читаешь код библиотек.

Мена - это не среднего? И действительно, зачем? Если начальный осилил - прыгай сразу высоко.

а лучше сразу код компилятора

ну я так думаю, что после lyah сходу на Snap что-нибудь не накидаешь

или даже на Yesod

а лучше сразу код компилятора

Который сильно проще многих современных библиотек.

книг среднего уровня нет

ну вон уже аж три пишут или четыре

@lightgreen то что вы пишите уже почитать можно*

кстати, кто что думает вообще об использовании Haskell в вебе

?

или поконтрибьютить?

можно и почитать, и поконтрибьютить, да

сейчас инвайт вышлю

о отлично

вопрос вообще не зашел)

видимо в вебе его только я пристраиваю

haskellbook среднего уровня?