Hello, world! На ближайшие 7 дней с вами Дмитрий Коваников (@ChShersh). Я работаю backend разработчиком на Haskell… twitter.com/i/web/status/1…

Коротко о моем опыте: полгода в Holmusk в области здравоохранения, до этого 2 года занимался Haskell разработкой в… twitter.com/i/web/status/1…

В свободное занимаюсь опенсорсными проектами в своей пока небольшой организации @kowainik. Помогаю развитию экосист… twitter.com/i/web/status/1…

План на ближайшую неделю:

Пн: Почему Haskell
Вт: Работа и жизнь в Сингапуре
Ср: Преподавание Haskell
Чт: Экосистем… twitter.com/i/web/status/1…

Не стесняйтесь задавать любые интересующие вопросы!
Я с радостью поделюсь всеми знаниями и опытом, которые имею 😊

Однако, из-за различия в таймзонах вечером по MSK я буду спать,
из-за чего отвечать на вопросы в это время будет затруднительно 😴

Когда события в @backendsecret развиваются слишком быстро... pic.twitter.com/1nTom59YYE

Сейчас будет тред о том, почему лично мне нравится Haskell. Я не буду говорить, что абсолютно каждый должен писать… twitter.com/i/web/status/1…

1. Статическая типизация. Она позволяет предотвращать большой класс ошибок без необходимости писать тесты в режиме… twitter.com/i/web/status/1…

2. Выразительная система типов. Мало того, что типы есть, они еще и очень мощные. Благодаря этому намного легче сре… twitter.com/i/web/status/1…

3. GHC — компилятор Haskell. Многие думают, что почти все гарантии безопасности кода в Haskell происходят от типов,… twitter.com/i/web/status/1…

4. Выразительность и элегантность самого языка. В самом языке очень много удобных и приятных фич. Часто бывает, что… twitter.com/i/web/status/1…

5. Удовольствие от программирования. Мне просто в кайф использовать Haskell и на работе, и в свободное время. Ценно… twitter.com/i/web/status/1…

6. Невероятно легкий рефакторинг. Так как GHC бьет по рукам во время компиляции за ошибки, то можно безболезненно и… twitter.com/i/web/status/1…

Перейти на новую мажорную версию компилятора с ломающими совместимость изменениями и обновить все версии библиотек… twitter.com/i/web/status/1…

7. Постоянный рост. В Haskell сообществе регулярно происходит что-то новое. Каждую неделю выходят новые блог посты… twitter.com/i/web/status/1…

Я использую Haskell уже примерно 4 года, и до сих пор есть много всего сделанного и написанного, что можно поисследовать и поизучать.

У этого эффекта есть и обратная сторона: кажется, что никогда не сможешь выучить Haskell и стать продуктивным. Но н… twitter.com/i/web/status/1…

8. Декомпозиция как стиль жизни. Суть этого принципа хорошо передает следующая цитата: "Динамическое программирован… twitter.com/i/web/status/1…

То же самое с декомпозицией большой задачи. Мой опыт показывает, что чем меньше контекста нужно держать в голове дл… twitter.com/i/web/status/1…

Чистые функции — чтобы не думать о посторонних эффектах. Иммутабельность — чтобы не думать, где переменная могла из… twitter.com/i/web/status/1…

Разделение контекста и значений на уровне типов — чтобы не думать, какую часть внешнего мира изменит вызов этой фун… twitter.com/i/web/status/1…

Подытожив, могу сказать, что в Haskell мне больше всего нравится то, что язык сохраняет рассудок, программирование… twitter.com/i/web/status/1…

@backendsecret пора менять название чатика на разработчик хаскеля. Что в общем прекрасно

Многие программисты очень скептически относятся к Haskell. Отчасти из-за этого язык не получил до сих пор такого ши… twitter.com/i/web/status/1…

Например, один из самых популярных мифов заключается в том, что на этом языке не существует библиотек для решения т… twitter.com/i/web/status/1…

Конечно, экосистема языка не такая развитая, как у Java или C#. Каких-то библиотек может в принципе не быть, а суще… twitter.com/i/web/status/1…

Следующее распространенное поверие на деревне, что Haskell — язык для академиков. Мол, только если ты пишешь PhD по… twitter.com/i/web/status/1…

Тоже бред, конечно. В интерфейсах Haskell используются концепции и идеи из алгебры, теории типов, лямбда исчисления… twitter.com/i/web/status/1…

Одна из вещей, которая останавливает многих людей начать программировать на Haskell — бедный по сравнению с мейнстр… twitter.com/i/web/status/1…

Сегодня день более лайтовый, чтобы дать общую картину. Более подробные технические детали, сопровождающиеся веселым… twitter.com/i/web/status/1…

А на седьмой день Бог придумал интеграл и дифференциальные уравнения. twitter.com/backendsecret/…

@backendsecret Вполне развитая, только размером поменьше.

@backendsecret Реплом и наличием типизации одновременно вообще мало кто похвастаться может. Ок, Ammonite догоняет. А больше и нет никого.

@AstarothAst @backendsecret это не очень интересно, т.к. толпы читателей выхватят детали и начнут их пихать в интер… twitter.com/i/web/status/1…

@AstarothAst @backendsecret 4. наличие разнообразных конфликтующих между собой практик, 5. то, что известным людям… twitter.com/i/web/status/1…

@backendsecret Похоже, все понимают под тулингом разные вещи. Ты упоминаешь только рефакторинг и IDE. Кому-то важне… twitter.com/i/web/status/1…

@backendsecret Статические бинарники собирали ещё наши деды. Но если гоферы считают это фичей, то у Хаскеля эта фич… twitter.com/i/web/status/1…

Если хочется кишочков, то я могу сказать, что в нашем проекте мы используем монаду для приложения следующего вида:… twitter.com/i/web/status/1…

Иногда люди в середину монадического стека добавляют трансформер ExceptT, то есть

newtype App a = App { runApp ::… twitter.com/i/web/status/1…

К вопросу о монадах. Я не буду пытаться объяснять монады в общих словах. Я работаю с монадами в Haskell, и представ… twitter.com/i/web/status/1…

Вместо этого я попытаюсь рассказать некоторые идеи, которые стоят за монадой в рамках языка программирования Haskel… twitter.com/i/web/status/1…

В Haskell монада — это просто интерфейс. Например, вот все могут представить интерфейс для очереди? Что можно делат… twitter.com/i/web/status/1…

Когда мы изучаем очередь в университете, смотрим на интерфейс очереди или пишем абстрактный интерфейс по работе с о… twitter.com/i/web/status/1…

Например, простыми реализациями очереди может быть реализация на массиве или на списке. Хоть они и являются довольн… twitter.com/i/web/status/1…

Они настолько разные, что единственное общее у них — очень абстрактный интерфейс, который может казаться слабо-поня… twitter.com/i/web/status/1…

Переход от интерфейса очереди к какой-нибудь реализации с последующим использованием довольно короткий. Переход от… twitter.com/i/web/status/1…

Еще одна вещь, которая мешает пониманию монад: достаточно точно интерфейс монады можно представить только в чистом… twitter.com/i/web/status/1…

3. В стандартной библиотеке есть популярные частичные функции.

@backendsecret На сайте сообщества ruhaskell.org/links.html есть ссылки на каналы, посвящённые исключительно поиску работы и работников.

Кстати, мой хороший друг работает над плагином Rust для @intellijidea, и там прямо очень хороший прогресс. Рекоменд… twitter.com/i/web/status/1…

> Насколько удобно использовать сторонние библиотеки?

Чтобы добавить ее в зависимость, достаточно написать одну ст… twitter.com/i/web/status/1…

> Насколько удобно их искать?

Довольно-таки удобно! Есть поисковый сервис, в котором можно вбивать названия функци… twitter.com/i/web/status/1…

Про строки. Стандартный тип String в Haskell — это односвязный список символов UTF-32. Изначальная идея была в том,… twitter.com/i/web/status/1…

Про частичные функции. В стандартной либе есть функция head со следующим типом:

head :: [a] -> a

Она возвращает п… twitter.com/i/web/status/1…

Про исключения: в Haskell IO исключения непроверяемые, то есть в сигнатурах функций не отражены. Если документация… twitter.com/i/web/status/1…

Про туториалы: например, достаточно большое приложение на Haskell трудно написать (чтобы еще и можно было поддержив… twitter.com/i/web/status/1…

@backendsecret По-моему, не UTF-32, а UCS-32.

Закончить день хочется напоминанием про Hacktoberfest: ежегодное событие, которое призывает людей контрибьютить в о… twitter.com/i/web/status/1…

В частности, в своей опенсорс организации мы пометили кучу различных beginner-friendly задач в наших Haskell репози… twitter.com/i/web/status/1…

People don't change

rakhim.org/honestly-undef… pic.twitter.com/45ziQozuu2

Сегодняшний день будет посвящен моей текущей работе, более подробному описанию архитектуры и библиотек, которые мы… twitter.com/i/web/status/1…

@AstarothAst @backendsecret > "ребята, вот это грабли, имейте ввиду, прыгнуть на них - БОЛЬНО"

Ок. Ребята, ленивая… twitter.com/i/web/status/1…

Сначала о том, как я попал на работу. Когда я наткнулся на объявление на Reddit, я увидел в этой возможности решени… twitter.com/i/web/status/1…

Сингапур очень футуристичный город. А еще английский здесь является государственным языком. Поэтому решение о перее… twitter.com/i/web/status/1…

К тому же, на прошлой работе я начинал сильно выгорать, мне хотелось развиваться в другой области, а заодно выбрать… twitter.com/i/web/status/1…

Чтобы получить работу, я прошел через 4 интервью:

Забавный факт: на эту позицию собеседовался человек с PhD, который законтрибьютил одну из продвинутых фич в компиля… twitter.com/i/web/status/1…

Очень понравился визовый процесс в Сингапур. Он проходит полностью онлайн, а большая часть работы делается компание… twitter.com/i/web/status/1…

К сожалению, у меня процесс занял месяц, потому что иногда выбирают случайных людей и устраивают дополнительную про… twitter.com/i/web/status/1…

Это было довольно неформальное интервью в виде диалога. Просто рассказывали, что меня ждет и смотрели на мою реакци… twitter.com/i/web/status/1…

@backendsecret Выучить haskell, уехать в Сингапур, звучит как неплохой план xD

У меня есть вакансии: Solidity developer, UI/UX специалист, SMM специалист, Python + NodeJS разработчик… twitter.com/i/web/status/1…

Касательно переписать: я бы хотел операционную систему на Rust, а все остальное уже можно на Haskell 🙂

По поводу п… twitter.com/i/web/status/1…

В ООП же в основной фокус ставятся объекты, то есть должно быть просто композировать их. Отсюда и такие специфичные… twitter.com/i/web/status/1…

Прежде чем описывать архитектуру, расскажу про сам проект. Один из основных продуктов, над которым мы работаем — мо… twitter.com/i/web/status/1…

Коротко, суть заключается в том, что люди отправляют через приложения измерения веса, данные с Fitbit, глюкозы в кр… twitter.com/i/web/status/1…

Идея такого подхода в том, что если менять образ жизни резко, то это не сработает в долгосрочной перспективе. Если… twitter.com/i/web/status/1…

Диетологи же предлагают маленькие шажочки, которым просто следовать. Например, "попробуй в следующий раз положить п… twitter.com/i/web/status/1…

Вообще, в Сингапуре очень помешаны на здоровом образе жизни. В правительстве коррупции нет, очень много денег идет… twitter.com/i/web/status/1…

@snpefk @backendsecret В случае если используются иммутабельные структуры, то в GC возможны значительные оптимизаци… twitter.com/i/web/status/1…

@snpefk @backendsecret так же часто в immutable структурах используются древовидные структуры, позволяющие обновлят… twitter.com/i/web/status/1…

@snpefk @backendsecret Иногда конечно возволить себе этого нельзя, но для этого есть возможность использовать измен… twitter.com/i/web/status/1…

Сейчас будет долгожданный и очень большой тред про то, какие технологии мы используем в разработке GlycoLeap.

Наша команда состоит из 5 человек:
• Тимлид, он же CTO, он же DevOps
• Разработчик мобильного приложения
• 2 backen… twitter.com/i/web/status/1…

Haskell-разработчики были наняты специально для того, чтобы полностью переписать бекенд с Node.js на Haskell. Сейча… twitter.com/i/web/status/1…

Решение о переписывании старого бекенда с Node.js на Haskell было принято в связи с тем, что приложение становилось… twitter.com/i/web/status/1…

К тому же на основе этой платформы хотелось реализовать другие различные системы и интеграции с другими сервисами,… twitter.com/i/web/status/1…

Известно, что Haskell очень хорошо подходит для бекенда, и у текущего CTO был раньше некоторый опыт разработки на H… twitter.com/i/web/status/1…

Если кого-то интересуют конкретные цифры: предыдущий бекенд, разработанный на Node.js в течении 3 лех был полностью… twitter.com/i/web/status/1…

Мобильные приложения пишутся на языке программирования Dart при помощи платформы Flutter. Это позволяет писать один… twitter.com/i/web/status/1…

Раньше была отдельная команда на Swift для iOS и на Java для Android, но кооперировать обе команды было тяжело. В к… twitter.com/i/web/status/1…

Мобильным приложением пользуются юзеры, а веб-приложением пользуются диетологи. Веб был написан на JavaScript с исп… twitter.com/i/web/status/1…

Теперь баззворды про архитектуру бекенда:
• БД — PostgreSQL
• Amazon сервисы — SQS, SES и S3
• общение с вебом — J… twitter.com/i/web/status/1…

Люди присылают фотографии еды, но фотографии не хранятся в PostgreSQL БД. Вместо этого они хранятся на облачном хра… twitter.com/i/web/status/1…

Раньше они генерировались через шелловский вызов CLI утилиты convert, но сейчас используется Haskell библиотека hip… twitter.com/i/web/status/1…

Amazon сервис SES используется для отправки электронным писем пользователям. Письма красивые, c HTML. Все шаблоны п… twitter.com/i/web/status/1…

SQS (это очередь) используется для хранения всех работ и балансировки нагрузки. Например, когда юзер отправляет фот… twitter.com/i/web/status/1…

Вместо того, чтобы сразу выполнять все эти запросы на бекенде, они просто отправляются в очередь. А затем уже подня… twitter.com/i/web/status/1…

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

data JobTy… twitter.com/i/web/status/1…

Protobuf был выбран по нескольким причинам. Одна из — можно описать структуру всех сообщений в одном месте, а затем… twitter.com/i/web/status/1…

@backendsecret У Вадлера есть еще классный доклад
youtube.com/watch?v=FiflFi…

Отдельным тредом напишу про Haskell библиотеки, которые мы используем. Чтобы люди из пещеры не думали, будто мы на… twitter.com/i/web/status/1…

В качестве библиотеки по работе с БД используем postgresql-simple. Никакого ORM, просто пишем сырые запросы на SQL.
hackage.haskell.org/package/postgr…

В качестве веб-фреймворка используем servant. Это библиотека позволяет задавать все Web API как тип, используя прод… twitter.com/i/web/status/1…

Для работы с Amazon сервисами — семейство библиотек amazonka
hackage.haskell.org/package/amazon…

Пуш-нотификации осуществляются при помощи Firebase, а Haskell-библиотека для этого — fcm-client
hackage.haskell.org/package/fcm-cl…

Для мониторинга состояния сервера используем ekg. Эта библиотека позволяет мониторить потребляемое время и память в… twitter.com/i/web/status/1…

Для парсинга JSON используем популярную либу aeson
hackage.haskell.org/package/aeson

Чтобы сделать процесс разработки более удобным, мы, как и любая приличная компания, используем альтернативный Prelu… twitter.com/i/web/status/1…

Для аутентификации — JWT
hackage.haskell.org/package/jwt

Для хеширования паролей в БД — bcrypt
hackage.haskell.org/package/bcrypt

В качестве supervision trees в стиле Erlang — capataz
hackage.haskell.org/package/capataz

Конфигурация проекта задается в файле в формате TOML, и для этого как раз используется моя библиотека tomland
hackage.haskell.org/package/tomland

В качестве тестового фреймворка используем фреймворк tasty
hackage.haskell.org/package/tasty

Для декларативного описания юнит-тестов используем библиотеку hspec
hackage.haskell.org/package/hspec

А для property-based тестирования используем Hedgehog
hackage.haskell.org/package/hedgeh…

@aarexer @batyshkaLenin @AstarothAst @backendsecret Вопрос не очень конкретен, но отвечу. Да, Haskell даёт большую… twitter.com/i/web/status/1…

Еще важное преимущество Hedgehog: не просто выдается пример, на котором фейлится тест, но еще автоматически подбира… twitter.com/i/web/status/1…

life sciences, robotics, data repositories, language design, high-performance computing, Web services, OCR, text an… twitter.com/i/web/status/1…

hardware engineering, software engineering tools, Internet of Things (IOT), education, XML and JSON and other data… twitter.com/i/web/status/1…

@backendsecret Имхо, ещё тут хорошо о статусе готовности экосистемы языка к тем или иным вещам. github.com/Gabriel439/pos…

Закончу день парой слов про сам Сингапур. Город прям ну очень зеленый, при этом выглядит современно. Тут довольно ж… twitter.com/i/web/status/1…

Город выглядит суперсовременно, везде довольно чисто и приятно. Центр города является также и бизнес-центром: очень… twitter.com/i/web/status/1…

Fun fact: даже сам премьер-министр Сингапура на пенсии планирует изучать Haskell, о чем говорил в одной из своих речей.

Сегодняшний день будет посвящен моему опыту преподавания Haskell в университете. Расскажу про трудности преподавани… twitter.com/i/web/status/1…

@argent_smith @backendsecret Неоптимизированный, правда простой сервис, чуть работы с базами, немного криптографии,… twitter.com/i/web/status/1…

Начну с небольшого рассказа о том, как я начал преподавать. В конце 4ого @Tis00 предложил мне вести вместе с ним ку… twitter.com/i/web/status/1…

После обсуждения этого предложения с доцентом нашей кафедры, мы начали готовить материалы. Мы изначально планировал… twitter.com/i/web/status/1…

Это сложно сделать, потому что именно с Haskell можно уйти очень далеко от реального мира. Можно начать подробно ра… twitter.com/i/web/status/1…

Я думаю, что со своей стороны я смог сделать практический и полезный курс. И многие люди после этого курса и правда… twitter.com/i/web/status/1…

Теперь про основные трудности, с которыми столкнулся во время преподавания. Преподавать Haskell — это как быть Hask… twitter.com/i/web/status/1…

Отчасти это связано со спецификой того места, где я преподавал. Отчасти из-за того, что слишком молодой преподавате… twitter.com/i/web/status/1…

Очень многие люди при изучении Haskell после императивного языка вроде Java или С++ чувствуют, что вместо узнавания… twitter.com/i/web/status/1…

И это не связано с тем, что Haskell — сложный язык. Поверьте, я профессионал в плане преподавания Haskell и могу об… twitter.com/i/web/status/1…

Просто изучение Haskell требует думать в совершенно другом измерении, особенно когда мозг заточился на императивное… twitter.com/i/web/status/1…

Когда сталкиваешься с чем-то в Haskell, то испытываешь давно забытое чувство, будто не можешь что-то понять, и сраб… twitter.com/i/web/status/1…

Программисты на Haskell не гениальней программистов на других языках. Просто они побарывали этот рефлекс очень мног… twitter.com/i/web/status/1…

Другая сложность в преподавании Haskell — не так много хороших ресурсов по разнообразным темам, особенно на русском… twitter.com/i/web/status/1…

То есть когда у людей трудности в понимании, они не могут самостоятельно найти решение. И не из-за того, что они гл… twitter.com/i/web/status/1…

Я всегда был открыт к помощи и предлагал людям в случае затруднений свои ответы на их вопросы. Но студентов человек… twitter.com/i/web/status/1…

Теперь подробней про сам курс и его формат. Программа курса находится на GitHub. Слайды для презентаций сделаны при… twitter.com/i/web/status/1…

Он включает в себя 16 лекций — по 4 лекции на 8 пар в месяц в течение 4ех месяцев. Программа рассчитана на плавный… twitter.com/i/web/status/1…

Идеологически программа разделена на 3 части:
• Научиться писать на Haskell хоть что-нибудь
• Научиться писать на H… twitter.com/i/web/status/1…

Хочу отметить, что курс сейчас и курс 3 года назад — 2 совершенно разных курса. Каждый семестр я создавал опросы и… twitter.com/i/web/status/1…

То есть получалось взаимное обучение — я обучал студентов Haskell, а сам при этом на них тренировал свой курс. От э… twitter.com/i/web/status/1…

Но помимо этого еще и сам Haskell развивается. Если ничего не делать с курсом хотя бы 2 года, он перестанет быть ак… twitter.com/i/web/status/1…

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

Когда я начал преподавать Haskell, то еще не использовал его в production. Поэтому было одно видение касательно тог… twitter.com/i/web/status/1…

Например, в начале преподавания идея рассказывать про производные типов и комонады казалось интересной и полезной,… twitter.com/i/web/status/1…

Хотя потом выяснилось, что надо было просто подождать не 2 года, а 4, когда комонады в итоге на самом деле пригодились в production.

Это еще одна проблема с преподаванием Haskell — чтобы курс был очень хорошим и полезным для практики, преподаватель… twitter.com/i/web/status/1…

C++, Java, Android, Web, Вычислительную геометрию и другие предметы у нас в университете вели программисты с серьез… twitter.com/i/web/status/1…

Быть хорошим преподавателем очень хлопотно и затратно, требует колоссального объема времени и сил, и это только для… twitter.com/i/web/status/1…

Под конец расскажу про свое отношение к преподаванию, что я делал во время своего курса, чтобы сделать его самым лу… twitter.com/i/web/status/1…

Для начала, я считаю, что преподаватель должен гореть страстью к своему предмету, если он хочет учить людей как мож… twitter.com/i/web/status/1…

Если преподавание — это просто формальность в духе следования заранее установленным критериям оценки и формального… twitter.com/i/web/status/1…

Только тогда, когда у тебя есть есть страсть к предмету, ты можешь заразить других людей энтузиазмом к нему же и к… twitter.com/i/web/status/1…

Помню случай, когда для одного из самых первых заданий требовалось написать простейшие тесты любым образом, а один… twitter.com/i/web/status/1…

Однако у такого отношения к своему предмету есть и обратная сторона — любая критика в сторону курса или игнорирован… twitter.com/i/web/status/1…

Мне всегда хотелось смотивировать студентов заниматься Haskell, поэтому я был открыт к их разным предложениям сдела… twitter.com/i/web/status/1…

Каждое домашнее задание я проверял лично у каждого человека. Мне все-таки хотелось каждому помочь, потому что у все… twitter.com/i/web/status/1…

Да и когда ты сначала сам попробовал сделать задание как можешь, а только потом узнаешь правильное решение и почему… twitter.com/i/web/status/1…

Все-таки курс рассчитан не на то, чтобы завалить людей, а чтобы помочь им изучить новую и незнакомую область и подт… twitter.com/i/web/status/1…

Автоматическую систему проверки настроить или создать крайне сложно. К тому же курс Haskell — это не курс решения а… twitter.com/i/web/status/1…

Когда преподаешь Haskell, то хочется все же научить именно хорошим практикам программирования, чтобы люди могли пис… twitter.com/i/web/status/1…

Но, опять же, студентов очень много, проверять у каждого ДЗ вживую требует много времени. Когда хочешь сделать что-… twitter.com/i/web/status/1…

Было грустно заканчивать курс после того, как вложил в него столько сил, времени и души. Но в жизни есть вещи и поважней 🙂

Сегодня постараюсь рассказать про состояние экосистемы Haskell в данный момент, сообщество и каналы коммуникации. Г… twitter.com/i/web/status/1…

Позавчера я составил тред со списком библиотек, которые мы используем в production, поэтому я надеюсь, что у людей… twitter.com/i/web/status/1…

Буквально несколько лет назад использовать Haskell для продакшена было бы крайне рисковым занятием. Даже проект с з… twitter.com/i/web/status/1…

Отчасти это объясняет, почему Haskell не такой популярный сейчас — языку в продакшене не 30 лет, а всего 3 года. То… twitter.com/i/web/status/1…

У текущих библиотек не всегда отличная документация, но это не всегда проблема. Типы помогают. Они не заменяют доку… twitter.com/i/web/status/1…

Одна из острых проблем — раскол сообщества. Существуют две основные конкурирующие и враждующие билд тулы для Haskel… twitter.com/i/web/status/1…

Это, конечно, не очень хорошо, потому что вместо объединения сил над одним инструментом люди враждуют и фиксят одни… twitter.com/i/web/status/1…

Другая проблема, что порой бывает, когда для решения какой-то задачи существует несколько библиотек, но причем все… twitter.com/i/web/status/1…

От этого бывает больно. Но также в довольно многих библиотеках мейнтейнеры отвечают на issue меньше чем за день и д… twitter.com/i/web/status/1…

Я упоминал раньше, что библиотеки не всегда содержат абсолютно полный арсенал фич, подходящих для решения всех проб… twitter.com/i/web/status/1…

Для одного из сторонних проектов мы изначально решили использовать SQLite в качестве БД. И мы начали работу над про… twitter.com/i/web/status/1…

Но в середине работы над продуктом выяснилось, что заказчикам по некоторым причинам важно использовать именно MySQL… twitter.com/i/web/status/1…

Но поддержка фич у этих библиотек разная. Например, sqlite-simple поддерживает именованные параметры для prepared s… twitter.com/i/web/status/1…

С другой стороны, в mysql-simple реализованы типы для того, чтобы проверять вхождение элемента в список или вставля… twitter.com/i/web/status/1…

Так как экосистема в Haskell довольно молодая, то не для всех задач бывают библиотеки. Снова приведу пример, с которым столкнулся на работе.

Мы работам над двумя проектами, которые являются веб-серверами. И одному из них надо забирать данные с другого. Но… twitter.com/i/web/status/1…

Но оказалось, что нет библиотеки, которая позволяет клиенту автоматически подписывать каждый исходящий реквест при… twitter.com/i/web/status/1…

Это было проблемой, но она решилась довольно быстро. Мы с коллегой по работе буквально за пару дней написали такую… twitter.com/i/web/status/1…

На это ушло не так много времени, но зато в итоге:

Обычно мы стараемся помогать экосистеме Haskell и опенсорсу: создавать issue, комментировать под релевантными и даж… twitter.com/i/web/status/1…

Теперь расскажу про сообщество и общение с другими хаскеллистами. Лично я считаю, что ограждать себя от сообщества… twitter.com/i/web/status/1…

Если хочется читать новости, но не хочется общаться с людьми, то рекомендую подписаться на рассылку Haskell Weekly:
haskellweekly.news

Второй по значимости и объему точкой соприкосновения с хаскеллистами по всему миру является /r/haskell на Reddit:
reddit.com/r/haskell/

Там происходят анонсы библиотек, блог-постов, событий в разработке GHC, обсуждение разнообразных тем из мира Haskel… twitter.com/i/web/status/1…

Если хочется задать какой-то вопрос по Haskell (не компилируется код, не получается решить вот такую проблему таким… twitter.com/i/web/status/1…

Страница @ruHaskell с ресурсами содержит ссылки на разные чаты: русско- и англоязычные в Telegram, в Gitter, и друг… twitter.com/i/web/status/1…

Также по-прежнему очень много людей сидит на IRC в каналах #haskell и других. Если вы окей с тем, чтобы пользоватьс… twitter.com/i/web/status/1…

Много хаскеллистов сидят и пишут в Twitter. Хороший способ найти всех таких хаскеллистов — подписаться на… twitter.com/i/web/status/1…

Может быть трудно представить, но довольно много людей сидят на StackOverflow. Если у вас возникают вопросы по Hask… twitter.com/i/web/status/1…

Я привел много источников общения, а существует еще больше. Но хочу сказать, что не обязательно участвовать во всех… twitter.com/i/web/status/1…

Многие думают, что у хаскеллистов синдром элитаризма и что они смотрят на остальных свысока. Когда читаешь анонсы и… twitter.com/i/web/status/1…

Но то, что люди обсуждают умные вещи, еще не значит, что эти все вещи надо знать и что все они нужны в production.… twitter.com/i/web/status/1…

Конечно, и в Haskell сообществе есть не самые милые и приятные люди, как и везде. Но быть хаскеллистом порой тяжело… twitter.com/i/web/status/1…

Я стараюсь быть в лагере тех, кто дружелюбен к новичкам, старается улучшить экосистему, и не повышать уровень токси… twitter.com/i/web/status/1…

Расскажу одну небольшую веселую, но в то же время поучительную историю из production. Она связана с историей одной… twitter.com/i/web/status/1…

Несколько лет назад, когда необходимо было выбирать библиотеку, мы выбрали одну, относительно популярную на то врем… twitter.com/i/web/status/1…

Потом появился новый проект и, как это обычно бывает, мы применили самые лучшие, даже по сегодняшним меркам, способ… twitter.com/i/web/status/1…

Это было неудобно, поэтому мы решили вынести эти вспомогательные функции в отдельный "утилитный" пакет. Меня с тех… twitter.com/i/web/status/1…

Потом функций и оберток поверх библиотеки стало еще больше, и было принято решение вынести эти функции в отдельную… twitter.com/i/web/status/1…

В какой-то момент потребовалось добавить что-то настолько нетривиальное, что уже было невозможно построить поверх и… twitter.com/i/web/status/1…

Далее долгое время она так и развивалась, причем довольно неплохо. Добавлялись полезные функции, когда требовалось… twitter.com/i/web/status/1…

Однако некоторые архитектурные решения в этой либе вызывали крайнее недовольство у некоторых людей, поэтому возникл… twitter.com/i/web/status/1…

А потом в итоге библиотека оказалась заброшена, и работа над ней больше не ведется. И в одном большом проекте, в ко… twitter.com/i/web/status/1…

Мне очень хотелось сделать хорошую библиотеку логирования, ибо качество текущих меня не устраивает, поэтому после т… twitter.com/i/web/status/1…

Я думаю, что невозможно было бы прийти к хорошему и удобному дизайну, который на максимум использует возможности Ha… twitter.com/i/web/status/1…

Сегодня расскажу про опенсорс и его состояние в рамках Haskell, зачем может быть полезно им заниматься, как я стара… twitter.com/i/web/status/1…

Поделюсь своими мыслями по поводу опенсорса. Считаю, что контрибьютить в опенсорсные проекты полезно, но и это надо… twitter.com/i/web/status/1…

Я вообще всеми руками за то, чтобы исходный код был открытым. Не всегда получается так сделать, но лучше постаратьс… twitter.com/i/web/status/1…

Это полезно и для самого продукта: сторонние люди могут смотреть, искать и даже фиксить баги, предлагать улучшения,… twitter.com/i/web/status/1…

И для других людей тоже полезно: они могут изучить примененные подходы к проектированию и разработке, может быть да… twitter.com/i/web/status/1…

Часто люди просят привести примеры какого-нибудь реального кода (в том числе и читатели @backendsecret), желательно… twitter.com/i/web/status/1…

Например, в одной из своих библиотек я использовал некоторые нетипичные подходы, но один человек, который контрибью… twitter.com/i/web/status/1…

Причем, чтобы все получали преимущества опенсорса, недостаточно просто выложить код в публичный доступ, надо еще ак… twitter.com/i/web/status/1…

Еще пример: недавно, в связи с тем, что Microsoft купила GitHub, очень многие люди перенесли свои репозитории на Gi… twitter.com/i/web/status/1…

Чтобы просто открыть там issue, надо было зарегистрировать аккаунт именно в их организации на Gitlab. В общем, боль… twitter.com/i/web/status/1…

Лично я считаю, что чем больше людей вовлечено в разработку проекта, тем он лучше. Как вариант, чтобы привлечь как… twitter.com/i/web/status/1…

У меня следующие причины тратить много времени на разработку опенсорсных библиотек и приложений:

Опенсорс — это не столько про улучшения качества кода, сколько про то, чтобы вместе делать мир лучше через совершен… twitter.com/i/web/status/1…

К сожалению, у контрибьюта в опенсорс есть свой порог входа. Но, к счастью, есть люди, которые помогают другим прео… twitter.com/i/web/status/1…

Отдельно могу порекомендовать список OSS менторов только для Haskell:
github.com/willbasky/Awes…

В этом треде расскажу, как лично я и моя небольшая команда энтузиастов Kowainik помогаем экосистеме Haskell и опенс… twitter.com/i/web/status/1…

Причины для создания организации следующие:

Очень многие люди держат репозитории проектов, которые они создали, в своих личных аккаунтах на Github. Я считаю, ч… twitter.com/i/web/status/1…

Если большой и популярный проект окажется заброшенным, то ничего страшного особо не случится — кто-нибудь форкнет р… twitter.com/i/web/status/1…

А это значит, что если кому-то понадобится такая же библиотека, то большой шанс, что она просто будет написана зано… twitter.com/i/web/status/1…

Обычно в организации все разработчики лучше осведомлены о коде различных библиотек, разработка ведется более активн… twitter.com/i/web/status/1…

Многие люди при выборе библиотеки смотрят на имя автора. Чем более хорошая репутация у организации, тем больше шанс… twitter.com/i/web/status/1…

Причем, если два человека работают над проектами одной организации, пускай и независимо, то популярность организаци… twitter.com/i/web/status/1…

Поддерживать репозитории в организации еще проще тем, что можно в одном централизованном месте описать все workflow… twitter.com/i/web/status/1…

Помочь экосистеме Haskell мне хочется не только через написание новых библиотек, но еще через обучение людей. Нам в… twitter.com/i/web/status/1…

Люди работают над issue в нашей организации, а мы их менторим и помогаем — в обучении Haskell, в работе с git. В ит… twitter.com/i/web/status/1…

Дам несколько советов для контрибьютеров и мейнтейнеров, которые мне кажутся очень полезными, если хочется, чтобы р… twitter.com/i/web/status/1…

Контрибьютерам — прежде чем открывать pull request, крайне рекомендую обсудить желание работать над issue под соотв… twitter.com/i/web/status/1…

Нередко бывают ситуации, когда люди открывают пулл-реквесты, а в итоге подразумевалось не то, или автор библиотеки… twitter.com/i/web/status/1…

Быть мейнтейнером опенсорсного проекта довольно тяжело, потому что это требует не только технических навыков, но ещ… twitter.com/i/web/status/1…

На заметку мейнтейнерам:

1. Документация для проекта: понятный README с описанием проекта, документация для функций, туториалы

3. Шаблон для PR: не все проверяет CI, поэтому неплохо написать несколько пунктов, которые вы хотите увидеть в кажд… twitter.com/i/web/status/1…

5. Писать более подробное описание для создаваемых issue и расставлять теги, чтобы людям было лучше понятно, над че… twitter.com/i/web/status/1…

После того, как я смотивировал всех заниматься опенсорсом, расскажу про состояние опенсорса в Haskell, и, самое гла… twitter.com/i/web/status/1…

Почти все Haskell репозитории используют систему контроля версий git и хостятся на GitHub. Но сейчас еще можно встр… twitter.com/i/web/status/1…

Не секрет, что во многих библиотеках на Haskell не самая лучшая документация. Поэтому вклад в виде улучшения докуме… twitter.com/i/web/status/1…

Вторым по важности вкладом может быть добавление тестов. Это заблуждение, что типы полностью спасают от тестов. Они… twitter.com/i/web/status/1…

В одном из своих проектов для увеличения корректности кода я использую zero-cost обертки, зависимые типы, доказател… twitter.com/i/web/status/1…

Еще одним важным улучшением является добавление бенчмарков. Всегда полезно обладать знаниями о перформансе той или… twitter.com/i/web/status/1…

Обычно в Haskell репозиториях всегда есть, что поделать, ибо нет предела совершенству. Не стесняйтесь открывать нов… twitter.com/i/web/status/1…

Пользуясь случаем, еще раз напомню, что всегда можно присоединиться к нашим проектам в рамках Hacktoberfest. За пер… twitter.com/i/web/status/1…

Сегодня постараюсь поделиться источниками информации и материалами, по которым, на мой взгляд, лучше всего изучать… twitter.com/i/web/status/1…

На данный момент самым эффективным способом выучить и полюбить Haskell является наличие персонального ментора. Не в… twitter.com/i/web/status/1…

Сразу хочу предупредить, что Haskell нельзя выучить просто читая туториалы или мануалы. Особенно после императивног… twitter.com/i/web/status/1…

Например, когда я изучал Kotlin 4 года назад, то достаточно было прочитать официальный гайд. После Java язык казалс… twitter.com/i/web/status/1…

Причем дело не в том, что Haskell сложный. Просто другой. А когда изучаешь что-то новое, то автоматически пытаешься… twitter.com/i/web/status/1…

Для начала могу порекомендовать свой туториал по билд-тулам, который рассказывает, откуда достать компилятор GHC, к… twitter.com/i/web/status/1…

Русскоязычному сообществу доступен очень хороший курс от @deniok на Stepik. Есть две части этого курса, для прохожд… twitter.com/i/web/status/1…

Если же вам удобней заниматься по книжкам, то рекомендую Get Programming with Haskell. Я слышал много положительных… twitter.com/i/web/status/1…

Альтернативно, в качестве введения в основы Haskell порекомендую вот этот курс. Мне кажется, что он дает оптимальну… twitter.com/i/web/status/1…

У этого курса есть более новая версия, в которой задания более современные и дается чуть больше, но мне почему-то о… twitter.com/i/web/status/1…

Чтобы достаточно хорошо подготовиться к пониманию монад, неплохо сначала понимать Higher Kinded Types и конструктор… twitter.com/i/web/status/1…

Для первичного понимания монад хорошо подойдет другая моя лекция. На одном слайде там аж целых 5 паттернов функцион… twitter.com/i/web/status/1…

Достаточно важно уметь работать с IO (и даже необязательно понимать, почему это монада). Вот эта глава из Haskell W… twitter.com/i/web/status/1…

Как я и говорил, недостаточно просто изучать материал, необходимо также решать практические задания. Поэтому поделю… twitter.com/i/web/status/1…

Вот больше заданий на алгебраические типы данных, свертки и моноиды
hackmd.io/sCEMg7VLRjKwRl…

Вот практические упражнения на монады Maybe и список
hackmd.io/xCzgYAQ3T-qzRn…

А вот, как мне кажется, клевые упражнения на монады Reader и State и трансформеры монад
hackmd.io/PonAg-wPQQKExx…

Важным аспектом реального программирования на Haskell является многопоточное и асинхронное программирование. Для по… twitter.com/i/web/status/1…

Обычно путь самостоятельного изучения какой-то темы в Haskell происходит следующим образом: гуглишь туториалы по эт… twitter.com/i/web/status/1…

Ну и снова порекомендую всем общаться с сообществом и не стесняться задавать вопросы! Спрашивайте на StackOverflow,… twitter.com/i/web/status/1…

Для изучения Haskell полезно решать задачи, но еще полезней, если решения будут проверяться. Посоветую несколько ме… twitter.com/i/web/status/1…

Самое простое и первое место: TryHaskell. Интерактивный REPL, где можно потыкать самые основы Haskell
tryhaskell.org

Чтобы попрактиковаться в решении задач совершенно разного уровня сложности, советую обратить внимание на CodeWars.… twitter.com/i/web/status/1…

Если интересуют задачи с более алгоритмическим уклоном, то можно еще попробовать что-то порешать на HackerRank.
hackerrank.com

Есть даже сайт с менторами, которые будут просматривать решения и обсуждать их с вами.
exercism.io

@backendsecret Я начинала изучать Haskell именно с этих домашек (по лекциям ИТМО), и ревью от @ChShersh были очень… twitter.com/i/web/status/1…

Под конец постараюсь развенчать мифы о том, что работы на Haskell нет, и расскажу про известные мне места для поиск… twitter.com/i/web/status/1…

Одним из самых основных мест для поиска работы является /r/haskell на Reddit. Каждую неделю там постят несколько ва… twitter.com/i/web/status/1…

Я и сам на текущую свою работу попал через объявление на Reddit. Почти всегда в вакансиях возможна удаленная работа… twitter.com/i/web/status/1…

Если нет возможности мониторить Reddit каждый день, то, опять же, можно подписаться на @haskellweekly, там в еженед… twitter.com/i/web/status/1…

Вторым по значимости ресурсом является @Functionalworks. Там не только Haskell, но еще Scala, Clojure и другие.
functional.works-hub.com

Отдельным пунктом упомяну курируемый и актуальный список компаний, которые используют Haskell. На данный момент спи… twitter.com/i/web/status/1…

Как по мне, если захотеть, то найти на Haskell работу даже проще, чем на другом языке. Да, на Java вакансий больше,… twitter.com/i/web/status/1…

Так как на Haskell вакансий сравнительно меньше, то люди не изучают Haskell специально с целью найти работу. Поэтом… twitter.com/i/web/status/1…

К тому же, так как люди не учат Haskell для работы, то если человек знает Haskell, это уже много о нем говорит. Зна… twitter.com/i/web/status/1…

@backendsecret Хочу также добавить, что на /r/haskell можно не только следить за вакансиями, но также писать объявл… twitter.com/i/web/status/1…

@backendsecret Codewars, кстати, отлично подходит в самом начале — освоиться с синтаксисом.
В отличие от большинств… twitter.com/i/web/status/1…

Сегодня последний день, и я расскажу про свой опыт работы удаленно и в офисе. Поскольку надо соблюдать баланс лично… twitter.com/i/web/status/1…

Тема удаленной работы особенно актуальна в Haskell мире. Специалистов немного и найти их сравнительно трудней, а на… twitter.com/i/web/status/1…

Трудно сказать, какой вариант работы строго лучше — удаленно или в офисе. У каждого есть свои преимущества и недост… twitter.com/i/web/status/1…

На работе приходилось трекать время, и трекаешь обычно рабочее время, когда решаешь какую-то задачу. Трекать, пока… twitter.com/i/web/status/1…

На самом деле это очень тяжело. Когда работаешь в офисе, то из 160 часов ты выдаешь примерно 110 на чистый кодинг.… twitter.com/i/web/status/1…

Тем более, когда оплата по часам, то у тебя нет большой мотивации и сил заниматься опенсорсом и личными проектами.… twitter.com/i/web/status/1…

Границы работы и личного времени становятся более размытыми. Но и гибкости при удаленной работе больше. Мне нравило… twitter.com/i/web/status/1…

Сейчас я считаю, что идеально было бы работать удаленно, но с элементами офисного рабочего процесса. Когда ты кажды… twitter.com/i/web/status/1…

Однако с удаленной работой не так просто найти способ остаться в другой стране. Почему-то другие страны не очень ра… twitter.com/i/web/status/1…

Так что если бы работа в офисе была примерно в таком формате, то мотивации ходить на нее было бы намного больше!
9gag.com/gag/aQRqqBd

@backendsecret Команда разработчиков GitLab работает практически полностью удаленно, при этом принципы их организац… twitter.com/i/web/status/1…

@backendsecret Недавно видел ссылку на группу в телеграме twitter.com/ruHaskell/stat…

Дам несколько советов, которые работают для меня, как можно успевать заниматься опенсорсом и личной жизнью во время… twitter.com/i/web/status/1…

Работа в офисе может выматывать, и от нее в свободное время хочется отдыхать, а не пахать где-то еще за бесплатно.… twitter.com/i/web/status/1…

Спойлер: если вы работаете полный рабочий день + занимаетесь опенсорсом + есть своя организация + есть личная жизнь… twitter.com/i/web/status/1…

Мне повезло в плане работы, потому что каждому члену команды дается полдня в неделю на опенсорс и самостоятельное и… twitter.com/i/web/status/1…

К тому же девушка тоже относится с пониманием к увлечениям и сильно помогает в этом. Думаю, что поддержка со сторон… twitter.com/i/web/status/1…

Мой недельный график в среднем примерно следующий: просыпаешься в 8 утра и борешься с желанием умереть, завтрак, оф… twitter.com/i/web/status/1…

Всем спасибо, кто читал меня эту неделю! С вами был Дмитрий Коваников (@ChShersh). Если у кого-то остались вопросы… twitter.com/i/web/status/1…

Также можно зафолловить мою организацию @kowainik в твиттере или в телеграме, если вам интересно получать новости о… twitter.com/i/web/status/1…

Под конец хочу сказать, что вести эту неделю было довольно тяжело. Хотелось поделиться большим объемом качественног… twitter.com/i/web/status/1…

Всю эту неделю я получал много хейта в адрес Haskell и лично в свой адрес, в том числе и в крайне грубых выражениях… twitter.com/i/web/status/1…