Ребята! Твиттер аккаунт 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

Всем привет. Начал апдейтить свой курс "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'ом. Раньше надо было ставить софт локально и вывод проги отправлять на Степик как стрингу, сейчас можно просто писать код онлайн и он будет компилироваться/запускаться на сервере, так что надеюсь, что теперь практикой будет пользоваться удобнее.

Вадим запилил некую годноту, ставим лойсы, используем в проде и всякое такое.

йо. я тут таки релизнул первую версию длся под дуби https://github.com/Hydrospheredata/typed-sql
в проде я конечно вам это использовать не советую, но если руками строки ковырять поднадоело, то го пробовать, ну и там ишью, звездочки, пры - вы сами знаете че делать

По поводу Бартоша.
Буду печатать с цветными свинками (если кому-то важны параметры, то переплёт 7БЦ - обычный твердый переплет, формат 208х293мм; обложка: меловка170гр, печать 4+0, матовая ламинация; бумага блока - офсетка 80гр. Кто трогал мою распечатку Фоммила - точно такая же книга по параметрам будет, только печать внутри цветная)).
В пн отдам в печать. До понедельника собираю заявки в гуглодоке или в личке здесь в телеге. Кто уже мне писал в личку, ещё раз писать не обязательно))
https://docs.google.com/spreadsheets/d/1hqQXq_EkB4WF2OS-TwLS_HWwar8ZtMh3pHjtpC0DwfU/edit#gid=0

Точную стоимость напишу в пн, когда будет определённость по количеству экземпляров. Уже сейчас могу сказать, получится не больше 2к рублей.

^ это для тех, кто не хочет заказывать из-за границы, есть возможность распечатать у нас.

Ник попросил кинуть сюда, пока ив скалолазобарим

Закинь в блокчейн https://vimeo.com/295103410

Скорее всего вы все уже давно вкурсе про выход 2.12.7, опаки и уже прочитали все интересное scalatimes. Но в любом случае, после двух месяцев перерыва, нам надо как-то возращаться в обычное русло.
Девятый выпуск Scala-дайджеста https://scalanews.org/ru/2018/11/15/digest-9/

кстате, вы тут не прочитали, но в скалалазо втиттере Вадим стишок команды Р написал

Еще одна статья по FT, достаточно доступаная
https://medium.com/@calvin.l.fer/deferring-commitments-tagless-final-704d768f15cb

Подкатил скала адопт кат теории (альфа)! Всем читать смотреть и благодарностей за труды отвешивать.

Хто там Скалу хотел? https://twitter.com/hmemcpy/status/1066460602644774914

Результаты проса Скала чятика (спойлер: Олегов более одного)

А вот ссылка для тех, кто не умеет в уме строить графики: https://docs.google.com/forms/d/e/1FAIpQLSfDwBdOP67yGyasRJaUI8iHU9yOLwj9LBWpIBZ6yMmlW2Ocag/viewanalytics