но потом нужно делать foo <- content

и.к. в контент лежит не значение а функция для его получения

можно в принципе начать с понимания того как работают монады и во что превращается do-нотация

doSomething <$> readFile >>= print выглядит конечно страшнее, но по сути понятнее

именно по сути, после приобретения навыков лучше всетаки do-нотацию

Ждите

А можно где-то расшарить домашние задания к вашим лекциям по Idris? (спасибо за них, кстати - очень интересные)

А можно где-то расшарить домашние задания к вашим лекциям по Idris? (спасибо за них, кстати - очень интересные)

есть вроде только такое https://github.com/bravit/idris-cs-hse

есть вроде только такое https://github.com/bravit/idris-cs-hse

Не, этот курс не такой интересный, он читается для студентов, которым надо объяснять за функциональное программирование. Вот этот курс для тех, кому не надо азы объяснять. Но к нему домашек нет в публичном доступе. https://www.youtube.com/watch?v=o-7zhrUP3ds&list=PL-_cKNuVAYAXFRLj6n2nDjI1cyHjuI3HI

Afaik часть из них из книги Брэди

А можно где-то расшарить домашние задания к вашим лекциям по Idris? (спасибо за них, кстати - очень интересные)

да там всё как-то приватно раздавалось. Думаю Виталий расшарит как прочтёт

А можно где-то расшарить домашние задания к вашим лекциям по Idris? (спасибо за них, кстати - очень интересные)

Шарю в индивидуальном порядке, если сообщите акк на гитхабе, но там действительно в основном из книжки Брейди.

Шарю в индивидуальном порядке, если сообщите акк на гитхабе, но там действительно в основном из книжки Брейди.

welf

Еще раз спасибо за лекции ))

Пожалуйста! На почту должно приглашение прийти

Окей, вы работодатель, хотите начать большой проект с нуля, стек - Haskell и все с ним связанное. В проекте ожидаются типичные бэкенд, фронтенд, сервисы, может быть, мобилки. Ваш запас средств позволяет нанять трех разработчиков уровня senior/lead зна европейскую зарплату на год. К вам приходят совершенно разные хаскеллисты. Каких возьмете, каких отсеете, какие вопросы задавать будете, какие критерии возьмете на вооружение?

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

Если у работодателя есть человек, которому первый может доверить постановку процесса, то проект надо делать на том, что этот будущий постановщик выберет. Это может быть Haskell, а может и не быть. Но цель у бизнеса ведь не в трудоустройстве хаскелистов?

Можете не нанимать сеньоров, если хотите. Сказано только про бюджеты, но не про необходимость

Цель у бизнеса обычная - заработать

Это не выдуманный кейс, если что.

За примерами далеко ходить не надо. Мне известны, минимум, два случая найма под новые проекты команд хаскеллистов. Оба случая - блокчейн

> вы работодатель, хотите начать большой проект с нуля, стек - Haskell и все с ним связанное. работодатель не имеет хаскелистов, которым может доверить начинание проекта, но при этом выбирает Haskell в качестве стека?

Правда, я не знаю, чем там у них дело кончилось

> вы работодатель, хотите начать большой проект с нуля, стек - Haskell и все с ним связанное. работодатель не имеет хаскелистов, которым может доверить начинание проекта, но при этом выбирает Haskell в качестве стека?

А что удивительного? Работодатели тоже бывают технари.

Работодатель будет участвовать в разработке?

В роли тимлида того же, или архитекторить, например?

Если это важно, то вариант на ваш выбор

Если нет, то надо найти настоящего лида, который готов принести с собой знакомый ему стек и делать дело на нём

То есть, требование от работодателя использовать Haskell по определению более ущербно, чем требование использовать, например, Java? Но почему? В чем кредит доверия, который выкручивается не в пользу Haskell?

Видится, что требование стека от работодателя - обычно дело. Иначе поиск сферического лида может затянуться на долго. Должны быть ограничения для поиска.

Пример из жизни: меня как-то просили подстраховать с технической стороны набор кадров. Нужно было помочь найти лида для стартапа. Желательным стеком тогда был Python (я тогда ещё питонистом был, поэтому меня и позвали) - просто потому что основатели что-то хорошее про него слышали. В итоге отбросили с десяток питонистов, а проект отдали PHP-шнику - этот показал, что на своём стэке он сможет поднять проект, повсети команду, вот это всё. Да PHP это "не тру" - даже по мнению основателей стартапа. Зато утверждённы лид был знаком с предметной облатстью проекта и работал в похожих проектах ранее.

Можно тогда представить, сколько проектов изначально хотели начать на Haskell, но пришел консультант и убедил взять что-нибудь менее маргинальное.

Дело не в меньшей маргинальности.

Елси бы нашли вместо ПХПшника толкового хаскелиста - взяли бы его. Там всё равно был remote only - это сильно упрощает поиск кадров

Ну а в чем проблема найти толкового хаскеллиста? Даже тут в чатике 645 человек, из них, наверное, найдутся толковые, не?

Может быть, трудно потому, что понятие "толковости" у хаскеллистов и индустрии разное?

@qnikst а есть какие-нибудь костыли поверх distributed-process с персистансом перед отсылкой, например? Ну т.е. как в хаскелле изобрети кафку не используя её? (гипотетически конечно, ведь можно взять кафку)

Может быть, трудно потому, что понятие "толковости" у хаскеллистов и индустрии разное?

"Толкового" == "Имеющего успешный опыт в разработке и руководстве в проектах в сходной тематике, способного начать проект с нуля, набрать на него кадров"

@qnikst а есть какие-нибудь костыли поверх distributed-process с персистансом перед отсылкой, например? Ну т.е. как в хаскелле изобрети кафку не используя её? (гипотетически конечно, ведь можно взять кафку)

мы изобретали

у нас был слой для отправки с paxos

т.е. там персистентность консенсусом решалась?

это не персистентность тогда

или я не понял

Для нашей задачи не нужен консенсус. У нас иерархия другая

У нас воркеры, которые задачи берут из очереди. Какого-то явного лидера не предвидится.

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

Это интересно, да

мы изобретали

А ваш funflow вроде тоже может вписаться?

ну funflow другой уровень несколько

паксос это не про лидера, а про репликацию сообщений и договор о том, что добавили что нет, даже если нода сдохнет

которая или через которую шлют

а что такое funflow?

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

интересно, а сколько вообще хаскелистов с опытом в продакшене от 3 лет?

Выглядит как вброс :)

Ну а в чем проблема найти толкового хаскеллиста? Даже тут в чатике 645 человек, из них, наверное, найдутся толковые, не?

это в продолжение

в этом чятике больше десятка найдётся

@JelF1337 хаскель здесь с 1998-го года. ему примерно столько же, сколько жабе

@JelF1337 хаскель здесь с 1998-го года. ему примерно столько же, сколько жабе

Я был весьма уверен, что до 2010 хаскеля в продакшене не было

ну, это может быть правдой

по моим наблюдениям, ghc 6.12 на что-то уже годился

когда это было?

давно, когда я начинал уже 6->7 переход был

в этом чятике больше десятка найдётся

надо бы мне брать себя в руки и искать уже работу на хаскеле :(

когда это было?

как раз 2010, апрель

ну больше трёх лет, тем не менее

так вопрос и не об этом был

у вас же он примерно тогда начинался @voidlizard ?

если я правильно помню, то ты тоже в этом участвовал

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

я не уверен что я с самого начала

ну где-то так, может в 2009

я ж в 2012/13 где-то подключился

если я правильно помню

погоди, а проект с Мегафоном же раньше был

с турникетами

разве?

не помню

значит неправильно помню

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

Турникеты мегафона на хаскеле? И судя по тексты, это даже не новость.

надо по дате регистрации ИП посмотреть

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

Я не в курсе истории становления Haskell в российских реалиях. Про это можно где-то почитать?

Турникеты мегафона на хаскеле? И судя по тексты, это даже не новость.

Это старость, но мне лично неизвестная.

про становление это к @voidlizard и @A64m_qb0 возможно

оу, я чувствую надо уже писать мемуары? только должны быть люди, которые его еще раньше, чем я начинали использовать IRL

я помню еще в FIDO были какие-то обсуждения

а ещё Шабанов, Зефиров вроде очень давно с ним жили

были и еще фамилии, сейча...

да и вообще фпрог тусовка, что журнал делали

да, из них

вон ваш проект взлетит - самое время для мемуаров будет :Р

Кстати, а некто Дмитрий Астапов ака Адепт - он кто, где? Кроме ЖЖ, впрочем, там активности с середины прошлгого года не было

А что за проект там? Который должен взлететь.

from nothing to taking over the world

он был в Лондоне, вроде

вакансия припинена вроде сверху

кванты, все дела

@qnikst я отпинил пока