так называется статья Колмогорова

есть еще одна вроде, но я не помню название

статья Колмогорова http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=sm&paperid=7425&option_lang=rus

но имхо лучше читать книгу Плиско и Хаханяна, она относительно новая (2009 или 2010 год, не помню), все написано в современной нотации

есть еще книга Драгалина «Математический интуиционизм», там даже рассказана топологическая семантика интуиционисткой логики (сам это проходил по этой же книге), но это чуть потяжелее

для программирования на Хаскеле эти могут помочь для более плотного теоретического бекграунда (собственно сам увлекся Хаскелем через логику)

эти темы*

есть еще «Изучаем Haskell» пера Алехандро Серано Мена

Интересно

что я читал Душкина напоминало кривой и непоследовательный перевод Haskell wiki

или какого-то такого ресурса

я осилил, но это отодвинуло изучение языка где-то на полгода, год

ну вот Душкин в Родном Отечестве хоть книгу написал. А его хаят :( это то и обидно. А других чтото нету пока.

для начал книги Дениса и Антона были не хуже, если не лучше, а они ещё и эврлюционируют

есть еще «Изучаем Haskell» пера Алехандро Серано Мена

👍

её бы ещё немного освежить, и вообще хорошо.

книга душкина наверное худшее по хаскелю из того что я видел любое другое - лучше lyah, книги Дениса и Антона, rwh

а haskellbook наверное лучшее

haskell book огромна: рекомендовать её для самостоятельного чтения как-то негуманно. Это мог бы быть большой курс по Хаскелю...

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

hb водянистая

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

Про lyah только недавно стали серьёзно говорить, если я читал все аккуратно.

Имхо можно уже писать слоган "да почитай ты уже хоть что-нибудь по хаскелю, ~в конце концов~ во имя добра!"

И запинить этот слоган

ну вот Душкин в Родном Отечестве хоть книгу написал. А его хаят :( это то и обидно. А других чтото нету пока.

В том-то и дело, что уже есть! Книги Дениса, Антона, курс на Степике. Всё это наше, самобытное, и читается на порядки лучше чем "переводы haskellwiki" Душкина. Да к тому же более современное, а не Haskell98

На Степике два курса Я первый смотрю, пока в них всё хорошо. Единственное, что в них не торт — мужик так печатает, что хочется залезть по ту сторону экрана и уже напечатать за него, ептыть

В том-то и дело, что уже есть! Книги Дениса, Антона, курс на Степике. Всё это наше, самобытное, и читается на порядки лучше чем "переводы haskellwiki" Душкина. Да к тому же более современное, а не Haskell98

Ещё есть https://www.haskell.org/hoogle/

На Степике два курса Я первый смотрю, пока в них всё хорошо. Единственное, что в них не торт — мужик так печатает, что хочется залезть по ту сторону экрана и уже напечатать за него, ептыть

ускорение в 2х не помогает?

Я вообще знакомство с языком начал с этой статьи: https://habrahabr.ru/post/204086/

ускорение в 2х не помогает?

А это мысль

А это мысль

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

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

а что, там видос скачать нельзя?

есть же vlc

Да блин) Это не настолько проблема, что бы огород городить

я просто все качаю, мне так удобнее

я просто все качаю, мне так удобнее

Соглашусь, но у меня покрытие вайфаем и ЛТЕ круглосуточное, удобнее стримить. Жил бы в другом месте, тоже бы качал бы

Там на степике любые курсы можно смотреть, когда они "открыты", то есть когда выделены сроки для сдачи заданий и прочего. Когда сроки заканчиваются, смотреть видосы становится нельзя до тех пор, пока снова учебный режим не включат. Я так пролетел со вторым курсом. Откладывал и попал на перерыв. Теперь скачал.

меня второй курс по сравнению с первым не порадовал :/

меня второй курс по сравнению с первым не порадовал :/

может потому что он сложней?

и уже о более реальных вещах, чем просто хвосты у списков таскать?

он сложнее, но не о более реальных вещах, к сожалению

как раз о более реальных

нет

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

там очень непонятна то, на что оно нацелено, для тех кто, что-то знает очень скучно кроме 1-2 задач

он сложнее, но не о более реальных вещах, к сожалению

+1

для тех кто не знает, достаточно сложно и непонятно нафига половина вещей, если честно для тех кто знает тоже непонятно

первый не проходил, но второй не очень реален

@aphoristicartist если что у меня и в том и в том полный балл, в числе первых

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

@aphoristicartist если что у меня и в том и в том полный балл, в числе первых

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

заметить сколько уже выполнило для тебя

*до тебя

если 3 - то среди первых?

я второй ниасилил

да

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

я тоже думаю, что нужна третья часть про какие-нибудь Warp ы, STMы, FFI, ZMQ и что-нибудь такое

про варп есть документация

про всё это есть документация

про STM есть документация и параллельная/конкурентная книга

про FFI тоже что-то есть

про MTL документации и бложиков просто обожраться

но всё равно делают курс

всё б статьи просить лишь бы не работать

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

а потом решиать underspecified задачу на корутинки

ну, вот, STM книги все равно не достаточно

не было времени, да и курс показался излишне теоретическим (второй)

конкурентность это сложно и там все подряд лажают

а поможет ли книга?

у меня вот вот есть art of multiprocessor программинг

когда бессоница одолевает, я беру её с полки

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

точнее что-то отложится

марловская это - ?

Parallel and concurrent.. как там её

ну я про неё и говорю

в принципе по хаскелю нужно две книги - write you a haskell + parallel/concurrent

в кач.ве разминки катит аппель

ну хотя бы главы про классификацию языков