Forwarded from λoλi
Forwarded from Daniel
Тут Сэм книжку свою дописал https://leanpub.com/fpmortals
Leanpub
Functional Programming for Mortals
Comprehensive and practical introduction to Functional Programming for Scala developers.
Новый выпуск подкаста Scalalaz #49 - Олеголаз в необычном составе. В записи участвуют только илитные носители имени Олег: Олег Алешко(тот самый OlegYch), Олег Пыжков(Oleg-Py) и конечно же Олег Нижников (Odomontois), а так же Ольга Махасоева.
https://scalalaz.ru/series-49.html
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/
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
Теория Категорий для Программистов https://github.com/hmemcpy/milewski-ctfp-pdf
GitHub
GitHub - hmemcpy/milewski-ctfp-pdf: Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source - hmemcpy/milewski-ctfp-pdf
Forwarded from Igal Tabachnik
Я пошкрябал блог Бартоша и создал из него PDFку
Йоу мы не умерли, просто ничего не делали (т.е. были очень заняты);
Тема псто ссылка на книжку "Категории для рабочего философа" (Categories for the Working Philosopher) По поводу качества контента коммнетариев оставить не могу; как будет нечто чем можно поделиться будет пост, ну или, как всегда, можно спросить Олега.
https://ndpr.nd.edu/news/categories-for-the-working-philosopher/
Тема псто ссылка на книжку "Категории для рабочего философа" (Categories for the Working Philosopher) По поводу качества контента коммнетариев оставить не могу; как будет нечто чем можно поделиться будет пост, ну или, как всегда, можно спросить Олега.
https://ndpr.nd.edu/news/categories-for-the-working-philosopher/
Notre Dame Philosophical Reviews
Categories for the Working Philosopher // Notre Dame Philosophical Reviews // University of Notre Dame
Notre Dame Philosophical Reviews is an electronic, peer-reviewed journal that publishes timely reviews of scholarly philosophy books.
Кстати, для тех кто хочет всякие стикеры, например кривую рожу, скала лого, или что-то еще; у нас есть репа (спасибо @dos65): https://github.com/dos65/scala_ru_stickers
з.ы. в ней нет пока скалалаза хексагона :/
з.ы. в ней нет пока скалалаза хексагона :/
GitHub
GitHub - scala-russian/scala_ru_stickers
Contribute to scala-russian/scala_ru_stickers development by creating an account on GitHub.
Ребята! Твиттер аккаунт 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 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'ом. Раньше надо было ставить софт локально и вывод проги отправлять на Степик как стрингу, сейчас можно просто писать код онлайн и он будет компилироваться/запускаться на сервере, так что надеюсь, что теперь практикой будет пользоваться удобнее.
Пока что готов первый урок о булевом типе: https://stepik.org/lesson/186371/step/1?unit=160906
По сравнению со старой версией (https://stepik.org/course/2294) почистил звук, немного отредактировал видео и заменил практику на проверяемую auto-grader'ом. Раньше надо было ставить софт локально и вывод проги отправлять на Степик как стрингу, сейчас можно просто писать код онлайн и он будет компилироваться/запускаться на сервере, так что надеюсь, что теперь практикой будет пользоваться удобнее.
Stepik: online education
Introduction to programming with dependent types in Scala (2019)
Вадим запилил некую годноту, ставим лойсы, используем в проде и всякое такое.