«What I Wish I Knew When Learning Haskell» от Стивена Диля:
http://dev.stephendiehl.com/hask/tutorial.pdf
http://dev.stephendiehl.com/hask/tutorial.pdf
Forwarded from PONV Daily (Igal Tabachnik)
Слайды Коновалова и Эмили Пай с воркшопа Isomorphic Reasoning: Counting with Types на LambdaConf [PDF] https://github.com/cohomolo-gy/Isomorphic-Reasoning/blob/master/main.pdf
GitHub
Isomorphic-Reasoning/main.pdf at master · cohomolo-gy/Isomorphic-Reasoning
Isomorphic Reasoning: Counting with Types. Contribute to cohomolo-gy/Isomorphic-Reasoning development by creating an account on GitHub.
Я опубликовал релиз 0.1.1 своего небольшого проекта
Это порт на TypeScript модуля KleisliIO, о котором рассказывал Джон Де Гуз на LambdaConf’18. В дальнейшем эта работа превратилась в библиотеку ZIO, хорошо известную скалистам.
Ставьте звёздочки, пробуйте API, оставляйте фидбек! 🙏
kleisli-ts: https://github.com/YBogomolov/kleisli-tsЭто порт на TypeScript модуля KleisliIO, о котором рассказывал Джон Де Гуз на LambdaConf’18. В дальнейшем эта работа превратилась в библиотеку ZIO, хорошо известную скалистам.
Ставьте звёздочки, пробуйте API, оставляйте фидбек! 🙏
GitHub
YBogomolov/kleisli-ts
Kleisli arrows for bifunctor IO. Contribute to YBogomolov/kleisli-ts development by creating an account on GitHub.
dd if=/dev/stuff of=/dev/tg
Я опубликовал релиз 0.1.1 своего небольшого проекта kleisli-ts: https://github.com/YBogomolov/kleisli-ts Это порт на TypeScript модуля KleisliIO, о котором рассказывал Джон Де Гуз на LambdaConf’18. В дальнейшем эта работа превратилась в библиотеку ZIO, хорошо…
Проект был добавлен в экосистему fp-ts! 🎉
https://github.com/gcanti/fp-ts/blob/master/docs/introduction/ecosystem.md
https://github.com/gcanti/fp-ts/blob/master/docs/introduction/ecosystem.md
Forwarded from PONV Daily (Igal Tabachnik)
Видео докладов ScalaDays 2019 https://portal.klewel.com/watch/webcast/scala-days-2019/
Klewel
Scala Days 2019 | Swiss Tech Convention Center, EPFL, Lausanne | 11.06.2019 | 55 Talks
In celebration of the 10th anniversary, Scala Days in 2019 took place where it all started - at EPFL in the SwissTech Convention Center. The Scala Days conference started in 2010, with about 150 people. In the meantime, it grew to become the leading Scala…
Одинадцатый эпизод #monadicmonday выложен в Твиттере: https://twitter.com/YuriyBogomolov/status/1140569042299867136
Сегодня говорим о стрелках Клейсли, и я показываю в качестве примера использование моего текущего проекта —kleisli-ts.
Сегодня говорим о стрелках Клейсли, и я показываю в качестве примера использование моего текущего проекта —kleisli-ts.
Twitter
Yuriy Bogomolov
Welcome to eleventh episode of #monadicmonday! Today we'll talk about Kleisli arrows, and I'll introduce my small project called "kleisli-ts".
dd if=/dev/stuff of=/dev/tg
Одинадцатый эпизод #monadicmonday выложен в Твиттере: https://twitter.com/YuriyBogomolov/status/1140569042299867136 Сегодня говорим о стрелках Клейсли, и я показываю в качестве примера использование моего текущего проекта —kleisli-ts.
Кстати, задумался над тем, чтобы переключить язык для разнообразия. Проголосуйте, плиз, кто читает посты этой серии: https://twitter.com/YuriyBogomolov/status/1140605960387534849
Twitter
Yuriy Bogomolov
By the way, would you like to see from time to time #monadicmonday in languages other than TypeScript?
Джон Де Гуз продолжает свой крестовый поход против Tagless Final: http://degoes.net/articles/tagless-horror
John A De Goes
The False Hope of Managing Effects with Tagless-Final in Scala
Using tagless-final to manage effects has seen some buy-in in the Scala community, but the benefits are questionable and the drawbacks significant
Хочу поделиться небольшой подборкой видео, которые регулярно напоминают мне, в чём красота математики и зачем я вообще этим всем занимаюсь:
https://www.youtube.com/watch?v=AmgkSdhK4K8 — элегантнейшее топологическое решение задачи о вписанном прямоугольнике;
https://www.youtube.com/watch?v=OkmNXy7er84 — задача поиска вероятности того, что центр сферы лежит внутри вписанного тетраедра;
https://www.youtube.com/watch?v=gB9n2gHsHN4 — почему фракталы это фигуры с дробной размерностью;
https://www.youtube.com/watch?v=yuVqxCSsE7c — применение теоремы Борсука-Улама для решения задачи разделения украденного ожерелья;
И немного computer science:
https://www.youtube.com/watch?v=IOiZatlZtGU — великолепный доклад Филипа Уодлера «Propositions as Types», который я рекомендую посмотреть всем, кто интересуется функциональным программированием (и в особенности тем, кто говорит, что типизированные языки не нужны);
https://www.youtube.com/watch?v=yjmKMhJOJos — The First Monad Tutorial от всё того же Филипа Уодлера, прекрасный как по подаче, так и по содержанию.
https://www.youtube.com/watch?v=AmgkSdhK4K8 — элегантнейшее топологическое решение задачи о вписанном прямоугольнике;
https://www.youtube.com/watch?v=OkmNXy7er84 — задача поиска вероятности того, что центр сферы лежит внутри вписанного тетраедра;
https://www.youtube.com/watch?v=gB9n2gHsHN4 — почему фракталы это фигуры с дробной размерностью;
https://www.youtube.com/watch?v=yuVqxCSsE7c — применение теоремы Борсука-Улама для решения задачи разделения украденного ожерелья;
И немного computer science:
https://www.youtube.com/watch?v=IOiZatlZtGU — великолепный доклад Филипа Уодлера «Propositions as Types», который я рекомендую посмотреть всем, кто интересуется функциональным программированием (и в особенности тем, кто говорит, что типизированные языки не нужны);
https://www.youtube.com/watch?v=yjmKMhJOJos — The First Monad Tutorial от всё того же Филипа Уодлера, прекрасный как по подаче, так и по содержанию.