Новый скалалов https://twitter.com/scala_love/status/1101166006905520133 фидбеки все Оли в личку (она одмен тут)
Twitter
Scala.Love
More #ScalaLove for you! @jdegoes shares his thoughts in the Effectfull episode of @scala_love https://t.co/HqlDZeKl0Z 🥰
Билеты для регистрации на NEScala / Typelevel Conf будут доступны уже на следующей неделе. (инфа от инсайдеров)
https://nescala.io/
https://nescala.io/
nescala.io
nescala 2020
Your friendly neighborhood Scala conference, chugging through the Northeast since 2011.
А скала-то в топчике most in-demand, всем хорошую работу скаланы! 🙂 https://hired.com/page/state-of-software-engineers/hottest-coding-languages/
Библиотека, которая позволяет скалачеку падать с более информативной ошибкой. Врапая макросом любое булеан выражение оно конвертитя в лейбелед Prop => и скалачек в случае падения доходчиво расписывает что чему не соответствует https://github.com/non/claimant
GitHub
GitHub - typelevel/claimant: Library to support automatic labeling of ScalaCheck properties.
Library to support automatic labeling of ScalaCheck properties. - GitHub - typelevel/claimant: Library to support automatic labeling of ScalaCheck properties.
Кароч jb хоть где-то делают годноту https://research.jetbrains.org/groups/group-for-dependent-types-and-hott
Возможно некоторым известный и достаточно популярный сервис Waffle (https://waffle.io/) закрывается 16 мая 2019 г. Всплакнем по достойной туле. (пусть это скала канал, но гитхабом думаю пользуются многие)
www.waffle.io
waffle.io domain name is for sale. Inquire now.
waffle.io is available for purchase. Get in touch to discuss the possibilities!
Подписывайтесь на команду Скала плагина, они свой Твиттер расчехлили https://twitter.com/IntelliJScala/status/1109011411303362560?s=19
Twitter
IntelliJ Scala
Hi! We're the IntelliJ Scala plugin team, and we're going to give you news on what we are up to from this account!
Forwarded from Павел
Вчерашние презентации здесь https://drive.google.com/open?id=1mPGgkoKf-g_Wf-ljGoK8-y1nz0xjSS5B
Запись лайва доступна здесь https://www.youtube.com/watch?v=YO6FYpme8kE&feature=youtu.be, на нашем канале попозже перезальем
Запись лайва доступна здесь https://www.youtube.com/watch?v=YO6FYpme8kE&feature=youtu.be, на нашем канале попозже перезальем
YouTube
Кассандра // стримы на Python// GPU в обработке данных // Spark meetup
Работа в МегаФоне
https://job.megafon.ru/vacancy?utm_source=mfmeetup+youtube
_________________________
25:40 стриминг в упряжке с Кассандрой // Рустам Аляутдинов // NVIDIA
53:08 вопросы Рустаму
1:03:48 Как построить стримы на Python? // Андрей Титов
1:35:45…
https://job.megafon.ru/vacancy?utm_source=mfmeetup+youtube
_________________________
25:40 стриминг в упряжке с Кассандрой // Рустам Аляутдинов // NVIDIA
53:08 вопросы Рустаму
1:03:48 Как построить стримы на Python? // Андрей Титов
1:35:45…
На это неделе в заднемконцесекретном (https://twitter.com/backendsecret) @alexknvl
Возможно это тот редкий случай, когда этот аккаунт можно почитать.
Возможно это тот редкий случай, когда этот аккаунт можно почитать.
ScalaLove #47 c Raul Raja Martinez - https://scala.love/episode-47-with-raul/
как принесли ФП в котлин, работа в 47, как помогает музыка и лучшие советы по продуктивности (на самом деле нет)
как принесли ФП в котлин, работа в 47, как помогает музыка и лучшие советы по продуктивности (на самом деле нет)
@dmsol попросил вбросить эвесом скала лист, для тех, кто не знал, что он существует; так вот - даже дежависты знают, что он существует. https://github.com/lauris/awesome-scala
GitHub
GitHub - lauris/awesome-scala: A community driven list of useful Scala libraries, frameworks and software.
A community driven list of useful Scala libraries, frameworks and software. - 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/
История взлетов и падений, всем читать и давать почитать друзьям, чтоб смогли набросить в вентилятор или не набросить (т.к. они ничего не получат в результате, кроме бана в твиттере от Трэвиса Брауна).
Из-за всего этого, и того, что творится в ру скала чате, уже страшно даже обложку “Взлета и Падения“ У. Ширера вставлять сюда.
З.Ы. Если кому-то интересно, влияет ли это на билды скалаз / чего-то еще - ответ нет. Всего лишь были исправлены конфиг файлы в некому ненужной репе. Никто не обижен по факту, но устрили войнушку на пустом месте, зачем-то решив аргументировать ремув проектов коконеугодностью.
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 скоро 🙂
Кстати говоря 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
https://medium.com/@odomontois/final-free-structures-with-subtyping-scala-aee0cf35cfc0
Forwarded from folex
Мы тут проводим хакатон в Минске в следующие выходные (22-23 июня), и приглашаем всех, кому интересно разобраться с децентрализацией, и реализовать собственные идеи.
Мы (fluence.network) делаем облако децентрализованных баз данных и приложений, с возможностью верификации корректности выполнения. У нас уже портирована версия Redis и SQL бд, написанной на Rust - их можно запустить и поверить прямо из дашборда - dash.fluence.network.
Практически весь софт у нас написан на Scala (с котами), а БД и приложения транслируются из Wasm в JVM классы. Так что при желании, можно как делать end-user приложения, так и хачить саму платформу.
Вся инфа про хакатон и регистрация на сайте: web3hack.dev
Вопросы по ивент и платформе приветствуются, могу ответить здесь или в личке, чтобы не флудить :)
Мы (fluence.network) делаем облако децентрализованных баз данных и приложений, с возможностью верификации корректности выполнения. У нас уже портирована версия Redis и SQL бд, написанной на Rust - их можно запустить и поверить прямо из дашборда - dash.fluence.network.
Практически весь софт у нас написан на Scala (с котами), а БД и приложения транслируются из Wasm в JVM классы. Так что при желании, можно как делать end-user приложения, так и хачить саму платформу.
Вся инфа про хакатон и регистрация на сайте: web3hack.dev
Вопросы по ивент и платформе приветствуются, могу ответить здесь или в личке, чтобы не флудить :)