Scala Nishtyaki Channel
951 subscribers
76 photos
8 videos
36 files
626 links
Сборник всеразличного sheeta для пограммистов.
Все материалы опубликованы сугубо для ознакомления, покупайте книжечки, поддержите авторов.

Одмены: @pomadchin @vndzzz @oli_kitty

Скала чат: https://t.me/scala_ru
Download Telegram
Typed Tagless Final Interpreters by Oleg Kiselyov
Scalalaz #48 - Юбилейный

https://scalalaz.ru/series-48.html
Новый выпуск подкаста Scalalaz #49 - Олеголаз в необычном составе. В записи участвуют только илитные носители имени Олег: Олег Алешко(тот самый OlegYch), Олег Пыжков(Oleg-Py) и конечно же Олег Нижников (Odomontois), а так же Ольга Махасоева.

https://scalalaz.ru/series-49.html
+ картинка от зелени
Новый выпуск Скала дайджеста!
https://scalanews.org/ru/2018/09/03/digest-8-2/

В этот раз есть и английская версия - можете поделиться с вашими забугорными другами
https://scalanews.org/en/2018/09/05/digest-8/
+ картинка сами знаете от кого
Новый ПЯТИДЕСЯТЫЙ выпуск подкаста с Александром Коноваловым @alexknvl - https://scalalaz.ru/series-50.html
Forwarded from Igal Tabachnik
Я пошкрябал блог Бартоша и создал из него PDFку
Йоу мы не умерли, просто ничего не делали (т.е. были очень заняты);
Тема псто ссылка на книжку "Категории для рабочего философа" (Categories for the Working Philosopher) По поводу качества контента коммнетариев оставить не могу; как будет нечто чем можно поделиться будет пост, ну или, как всегда, можно спросить Олега.

https://ndpr.nd.edu/news/categories-for-the-working-philosopher/
Кстати, для тех кто хочет всякие стикеры, например кривую рожу, скала лого, или что-то еще; у нас есть репа (спасибо @dos65): https://github.com/dos65/scala_ru_stickers

з.ы. в ней нет пока скалалаза хексагона :/
Ребята! Твиттер аккаунт https://twitter.com/ScalalazPodcast был приостановлен, и обращение в поддержку не принесло результата (ответ “Due to multiple or repeat violations of the Twitter Rules. Please don't respond to this email as replies and new appeals for this account will not be monitored”). Поддержите нас лойсами и / или ревтитами https://twitter.com/Oli_kitty/status/1055686913712099328 а если есть желание можно и респонзы (на англ. языке) добавить с упоминаниями @ScalalazPodcast и / или #savescalalaz
В честь пятничного дискасса по линзам, можно ознакомиться с некоторыми пояснительными материалами:

- Introduction to Bidirectional Transformations: http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/ssbx-intro.pdf
- Symmetric Lenses: https://repository.upenn.edu/cgi/viewcontent.cgi?referer=https://www.google.com/&httpsredir=1&article=1709&context=cis_papers
- Lenses for philosophers (спс @clayrat): https://julesh.com/2018/08/16/lenses-for-philosophers/
- Bidirectional Programming Languages: https://repository.upenn.edu/cgi/viewcontent.cgi?article=1096&context=edissertations
Forwarded from Dmytro Mitin
Всем привет. Начал апдейтить свой курс "Introduction to programming with dependent types in Scala" на Степике: https://stepik.org/course/49181
Пока что готов первый урок о булевом типе: https://stepik.org/lesson/186371/step/1?unit=160906
По сравнению со старой версией (https://stepik.org/course/2294) почистил звук, немного отредактировал видео и заменил практику на проверяемую auto-grader'ом. Раньше надо было ставить софт локально и вывод проги отправлять на Степик как стрингу, сейчас можно просто писать код онлайн и он будет компилироваться/запускаться на сервере, так что надеюсь, что теперь практикой будет пользоваться удобнее.
Вадим запилил некую годноту, ставим лойсы, используем в проде и всякое такое.