Компиляция #monadicmonday за июнь на площадке dev.to:
https://dev.to/ybogomolov/monadicmonday-compilation-june-143h
Компиляций на Медиуме больше не будет. Их политика относительно доступности контента (aka paywall), а также неприспособленность площадки для размещения примеров кода вынуждает меня перестать публиковать статьи там.
https://dev.to/ybogomolov/monadicmonday-compilation-june-143h
Компиляций на Медиуме больше не будет. Их политика относительно доступности контента (aka paywall), а также неприспособленность площадки для размещения примеров кода вынуждает меня перестать публиковать статьи там.
DEV Community
#MonadicMonday compilation: June
Recently I started a small activity in Twitter called #monadicmonday – each Monday I post a thread ab...
Тринадцатый эпизод #monadicmonday выложен в Твиттере: https://twitter.com/YuriyBogomolov/status/1148153780443189248
Сегодня я рассказываю о крутейшей библиотеке для property-based тестирования — fast-check.
Сегодня я рассказываю о крутейшей библиотеке для property-based тестирования — fast-check.
Twitter
Yuriy Bogomolov
Welcome to thirteenth episode of #monadicmonday! Today we'll talk a bit about property-based testing using the awesome library `fast-check`.
The Implementation of Functional Programming Languages - Microsoft Research
https://www.microsoft.com/en-us/research/publication/the-implementation-of-functional-programming-languages/
https://www.microsoft.com/en-us/research/publication/the-implementation-of-functional-programming-languages/
Microsoft Research
The Implementation of Functional Programming Languages - Microsoft Research
“The Implementation of Functional Languages” is a book about implementing functional programming languages using lazy graph reduction, and it divides into three parts. The first part describes how to translate a high-level functional language into an intermediate…
#музыкальная_пауза
У меня очень редко музыка вызывает мурашки по коже. Это — один из таких случаев:
https://youtu.be/DrDM6V08wcE
У меня очень редко музыка вызывает мурашки по коже. Это — один из таких случаев:
https://youtu.be/DrDM6V08wcE
YouTube
DEVIN TOWNSEND PROJECT - Deadhead (Live at Royal Albert Hall)
DEVIN TOWNSEND PROJECT - Deadhead (Live at Royal Albert Hall). Taken from the DVD "Devin Townsend Presents: Ziltoid Live at the Royal Albert Hall). Inside Out Music 2015.
Четырнадцатый, и последний, эпизод #monadicmonday выложен в Твиттере: https://twitter.com/YuriyBogomolov/status/1150654389092311040
Всего хорошего, и спасибо за рыбу!
Всего хорошего, и спасибо за рыбу!
Twitter
Yuriy Bogomolov
Welcome to fourteenth episode of #monadicmonday! Today's episode will be very short, as I decided to finish the series for now.
Отличные новости! Fira Code от @nikitonsky была смерджена в Google Fonts:
https://twitter.com/nikitonsky/status/1151142882243502086
Пруф:
https://github.com/google/fonts/commit/ad9904f584f463352e8fbf1d3b7baf10cc2ae6a0
Поздравляю Никиту и всё сообщество, которое в этом участвовало! 🎉
https://twitter.com/nikitonsky/status/1151142882243502086
Пруф:
https://github.com/google/fonts/commit/ad9904f584f463352e8fbf1d3b7baf10cc2ae6a0
Поздравляю Никиту и всё сообщество, которое в этом участвовало! 🎉
Twitter
Nikita
I just pushed Fira Code 1.207. Not much changed https://t.co/yOJQqn09k6 but it marks the exact version that was merged to Google Fonts wait what? Yep https://t.co/lVMynxVJyg
Доклад Эдвина Брэйди о Idris 2. Часть с QTT напомнила мне про Rust и его lifetime’ы.
https://www.youtube.com/watch?v=DRq2NgeFcO0
https://www.youtube.com/watch?v=DRq2NgeFcO0
YouTube
Edwin Brady - Idris 2 - Type-driven Development of Idris
Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.
Отличное дополнение к Typeclassopedia:
https://github.com/thma/LtuPatternFactory
https://github.com/thma/LtuPatternFactory
GitHub
GitHub - thma/LtuPatternFactory: Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns - thma/LtuPatternFactory
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.