Библиотека, которая позволяет скалачеку падать с более информативной ошибкой. Врапая макросом любое булеан выражение оно конвертитя в лейбелед Prop => и скалачек в случае падения доходчиво расписывает что чему не соответствует https://github.com/non/claimant

Кароч jb хоть где-то делают годноту https://research.jetbrains.org/groups/group-for-dependent-types-and-hott

Scala-дайджест #10
https://scalanews.org/ru/2019/03/07/digest-10/

Возможно некоторым известный и достаточно популярный сервис Waffle (https://waffle.io/) закрывается 16 мая 2019 г. Всплакнем по достойной туле. (пусть это скала канал, но гитхабом думаю пользуются многие)

Подписывайтесь на команду Скала плагина, они свой Твиттер расчехлили https://twitter.com/IntelliJScala/status/1109011411303362560?s=19

Вчерашние презентации здесь https://drive.google.com/open?id=1mPGgkoKf-g_Wf-ljGoK8-y1nz0xjSS5B
Запись лайва доступна здесь https://www.youtube.com/watch?v=YO6FYpme8kE&feature=youtu.be, на нашем канале попозже перезальем

На это неделе в заднемконцесекретном (https://twitter.com/backendsecret) @alexknvl
Возможно это тот редкий случай, когда этот аккаунт можно почитать.

ScalaLove #47 c Raul Raja Martinez - https://scala.love/episode-47-with-raul/
как принесли ФП в котлин, работа в 47, как помогает музыка и лучшие советы по продуктивности (на самом деле нет)

@dmsol попросил вбросить эвесом скала лист, для тех, кто не знал, что он существует; так вот - даже дежависты знают, что он существует. https://github.com/lauris/awesome-scala

Туплевел теперь как википедия, поддержите рибят донейшеном: https://typelevel.org/blog/2019/04/24/typelevel-sustainability-program-announcement.html

(картинка ниочень из-за недостатка финансирования)

Саммари по коконеугодному расколу в скала сообществе:
https://github.com/scala/community-builds
https://www.reddit.com/r/scala/comments/bi9rey/scalaz_removed_from_community_build/
https://contributors.scala-lang.org/t/coc-compatible-community-builds/3097/2

Для тех, кто все пропустил - тред о том как и что раскалывалось в скале: https://www.reddit.com/r/scala/comments/9a11p1/newbie_wondering_about_the_history_of_the/

История взлетов и падений, всем читать и давать почитать друзьям, чтоб смогли набросить в вентилятор или не набросить (т.к. они ничего не получат в результате, кроме бана в твиттере от Трэвиса Брауна).

Из-за всего этого, и того, что творится в ру скала чате, уже страшно даже обложку “Взлета и Падения“ У. Ширера вставлять сюда.

З.Ы. Если кому-то интересно, влияет ли это на билды скалаз / чего-то еще - ответ нет. Всего лишь были исправлены конфиг файлы в некому ненужной репе. Никто не обижен по факту, но устрили войнушку на пустом месте, зачем-то решив аргументировать ремув проектов коконеугодностью.

@dos65 продается в рабство к маркетологом. Почитать жиденькую статью и дать комментарии можно тут https://habr.com/ru/company/provectus/blog/450132/

Кстати говоря FPURE скоро 🙂

Кукбук по рекурсивным схемам годовалой давности, но зато полноценный: https://github.com/vil1/recursion-schemes-cookbook/blob/master/README.md

Typed Tagless Final Interpreters by Oleg Kiselyov: http://okmij.org/ftp/tagless-final/course/lecture.pdf // спасибо @catostrophe за сурс

Final Free Structures with Subtyping (Scala) by @odomontois

https://medium.com/@odomontois/final-free-structures-with-subtyping-scala-aee0cf35cfc0

Мы тут проводим хакатон в Минске в следующие выходные (22-23 июня), и приглашаем всех, кому интересно разобраться с децентрализацией, и реализовать собственные идеи.

Мы (fluence.network) делаем облако децентрализованных баз данных и приложений, с возможностью верификации корректности выполнения. У нас уже портирована версия Redis и SQL бд, написанной на Rust - их можно запустить и поверить прямо из дашборда - dash.fluence.network.

Практически весь софт у нас написан на Scala (с котами), а БД и приложения транслируются из Wasm в JVM классы. Так что при желании, можно как делать end-user приложения, так и хачить саму платформу.

Вся инфа про хакатон и регистрация на сайте: web3hack.dev

Вопросы по ивент и платформе приветствуются, могу ответить здесь или в личке, чтобы не флудить :)

Видео докладов ScalaDays 2019 https://portal.klewel.com/watch/webcast/scala-days-2019/

Haskell programming from first principles - Christopher Allen & Julie Moronuk // спасибо @a7emenov ‘у за предоставленную для ознакомления пдфку

Если в сентябре вы захотите посетить Италию есть возможность попасть на ScalaItaly в Болонию. Скидка 25% по ссылке: