Old, but gold: книга «Seven sketches in Compositionality»:
https://arxiv.org/pdf/1803.05316.pdf
Нужно небольшое понимание теорката и топологии, но оно того стоит. Один из немногих трудов, который детально разбирает прикладную ценность теории категорий.
https://arxiv.org/pdf/1803.05316.pdf
Нужно небольшое понимание теорката и топологии, но оно того стоит. Один из немногих трудов, который детально разбирает прикладную ценность теории категорий.
Как. Перестать. Орать:
https://twitter.com/HIDEO_KOJIMA_EN/status/1154638686144753664
https://twitter.com/HIDEO_KOJIMA_EN/status/1154638686144753664
По просьбам коллег начал новый небольшой проект: code kata для функционального TypeScript.
Сейчас готовы два упражнения: на написание базовых экземпляров тайпклассов, и на синтаксис HKT. Как водится, у коллег с английским беда, поэтому объяснения к упражнениям пришлось написать на русском. Если кто хочет присоединиться, милости прошу.
Процесс: форк, выполнение ката, pull request, ревью и закрытие PR.
Репозиторий доступен здесь: https://github.com/YBogomolov/fp-ts-kata
Сейчас готовы два упражнения: на написание базовых экземпляров тайпклассов, и на синтаксис HKT. Как водится, у коллег с английским беда, поэтому объяснения к упражнениям пришлось написать на русском. Если кто хочет присоединиться, милости прошу.
Процесс: форк, выполнение ката, pull request, ревью и закрытие PR.
Репозиторий доступен здесь: https://github.com/YBogomolov/fp-ts-kata
GitHub
GitHub - YBogomolov/fp-ts-kata: Code kata for fp-ts
Code kata for fp-ts. Contribute to YBogomolov/fp-ts-kata development by creating an account on GitHub.
Forwarded from Nick Ivanych
Такое вот —
Church encoding of linear types
http://oleg.fi/gists/posts/2019-06-26-linear-church-encodings.html
#link
Church encoding of linear types
http://oleg.fi/gists/posts/2019-06-26-linear-church-encodings.html
#link
Forwarded from PONV Daily (λoλcat)
Либа от Дмитро Митина (автора известного курса по завтипам) для макрогенерации различных хэлперов для тайпклассов: aux-паттерны, суммонеры, конструкторы, синтаксические расширения и др.
https://github.com/DmytroMitin/AUXify
https://github.com/DmytroMitin/AUXify
Stepik: online education
Introduction to programming with dependent types in Scala (2019)
#музыкальная_пауза
Трек одних из моих любимейших прогрокеров, — Periphery, — сыгранный их басистом Адамом «Nolly» Гетгудом. Наверное, самый приятный тембр баса, который я слышал за долгое время.
https://www.youtube.com/watch?v=-w5qFCT6EZY
Трек одних из моих любимейших прогрокеров, — Periphery, — сыгранный их басистом Адамом «Nolly» Гетгудом. Наверное, самый приятный тембр баса, который я слышал за долгое время.
https://www.youtube.com/watch?v=-w5qFCT6EZY
YouTube
Periphery - Prayer Position (Bass Playthrough)
Adam "Nolly" Getgood's bass playthrough of 'Prayer Position' from the album, Periphery III: Select Difficulty - available now on Sumerian Records at http://smarturl.it/PeripheryIII-iTunes
More 'Prayer Position' Playthroughs:
Matt (Drums): http://youtu.be/whUy9s7jeqE…
More 'Prayer Position' Playthroughs:
Matt (Drums): http://youtu.be/whUy9s7jeqE…