dd if=/dev/stuff of=/dev/tg
#фп_на_ts Написал немного букв на Хабр: https://habr.com/ru/post/526024 Попробовал объяснить эмуляцию полиморфизма родов высших порядков на тайпскрипте с помощью техники дефункционализации, которая применяется в fp-ts. В последние месяцы я понемногу начал…
Хабр
Функциональное программирование на TypeScript: паттерн «класс типов»
Предыдущие статьи цикла: Полиморфизм родов высших порядков В предыдущей статье я рассказал, как можно в TypeScript эмулировать полиморфизм родов высшего поряд...
Izumi круто. Чтобы и дальше так было, можно купить парням чашечку кофе: https://www.buymeacoffee.com/7mind
Buy Me a Coffee
7mind
We make nice stuff for Scala, like:A powerful Module System with a Solver and Garbage Collection (or you may call it a Dependency Injection Mechanism),Zero-effort Structured Logging framework,etc, etc
Forwarded from PONV Daily (Danila Matveev)
YouTube
Izumi 1.0: Your Next Scala Stack by Pavel Shirshov and Kai
Frameworks are bulky, quirky, and non-compositional, which has led to a rejection of Spring and similar frameworks in the Scala ecosystem. Yet, despite their drawbacks, frameworks have been used to boost team productivity in many large companies. In this…
С наступающим, котаны и котанессы. Спасибо, что читаете и остаетесь со мной, спасибо, что пишете в личку и в бота — это важно и помогает мне держаться на плаву. 2020 был ппц какой адский лично для меня, и я рад, что он формально заканчивается. Только под конец года я начал приходить в себя, и задумался о смене стека с задолбавшего TS на что-то более интересное. Может, через какое-то время снова найдутся силы пилить обучающий контент :)
Здоровья всем нам, психического и физического — это самое важное. Увидимся в 2021-ом ;)
Здоровья всем нам, психического и физического — это самое важное. Увидимся в 2021-ом ;)
Период кринжовых шуток «ты этот пулл-реквест с прошлого года ревьювишь» объявляется открытым.
Forwarded from PONV Daily (Sergey Kucherenko)
Олег Киселёв рассказывает про прошедший семинар, посвященный "Programming and Reasoning with Algebraic Effects and Effect Handlers"
http://okmij.org/ftp/Computation/index.html#Shonan-handlers
Здесь можно посмотреть слайды докладов: https://effect-handlers.org/events/shonan146.html
http://okmij.org/ftp/Computation/index.html#Shonan-handlers
Здесь можно посмотреть слайды докладов: https://effect-handlers.org/events/shonan146.html
Смыкается, сопрягается гусеница ИБ-шная. Тихонько подвываю, по правде говоря.
Forwarded from PONV Daily (Anton Trunov)
https://www.pls-lab.org — вики теории языков программирования, отчасти похожая по стилю на nLab
Forwarded from Lil Functor
Sam Halliday интересно рассказал о потенциальных уязвимостях в библиотеках для парсинга JSON. А ещё о том, как боролся с ними в своей библиотеке
Красивая фраза в описании доклада: «Scala has more JSON libraries than Go has language features!»
https://youtu.be/3Cz6D8JLSSA
Красивая фраза в описании доклада: «Scala has more JSON libraries than Go has language features!»
https://youtu.be/3Cz6D8JLSSA
В следующий четверг, 4 февраля, Дэвид Спивак будет рассказывать про практические аспекты категории полиномиальных функторов одной переменной Poly:
https://topos.site/seminars
https://topos.site/seminars
Во-первых, это просто хорошая визуализация данных.
Во-вторых, это очень неплохо взгляд с высоты птичьего полёта на математику в целом.
https://www.quantamagazine.org/the-map-of-mathematics-20200213
Во-вторых, это очень неплохо взгляд с высоты птичьего полёта на математику в целом.
https://www.quantamagazine.org/the-map-of-mathematics-20200213
Quanta Magazine
The Map of Mathematics | Quanta Magazine
Explore our surprisingly simple, absurdly ambitious and necessarily incomplete guide to the boundless mathematical universe.
Forwarded from PONV Daily (Danila Matveev)
#scala #tf
Опубликовали лекцию с рассказом и кодом о тэглесс файнал. Она адресована прежде всего тем кто не знает, что это такое, или изучавшим по твиттам Де Гуза, Трампа и роскомнадзора. Но полезна может быть всем.
Если вам интересна эта тема, хотите видеть продолжения, готовы поддержать лектора и его команду:
* Подписывайтесь на ютуп канал.
* Ставьте колокольчик.
* Задавайте вопросы в комментариях ютупа, в этом чате, в тофу чате.
* Пишите код на работе и в личных проектах, помогайте кодом и документацией чужим опен сорсам.
https://www.youtube.com/watch?v=ZNK57IXgr3M
Опубликовали лекцию с рассказом и кодом о тэглесс файнал. Она адресована прежде всего тем кто не знает, что это такое, или изучавшим по твиттам Де Гуза, Трампа и роскомнадзора. Но полезна может быть всем.
Если вам интересна эта тема, хотите видеть продолжения, готовы поддержать лектора и его команду:
* Подписывайтесь на ютуп канал.
* Ставьте колокольчик.
* Задавайте вопросы в комментариях ютупа, в этом чате, в тофу чате.
* Пишите код на работе и в личных проектах, помогайте кодом и документацией чужим опен сорсам.
https://www.youtube.com/watch?v=ZNK57IXgr3M
YouTube
Tofu club. Что такое tagless final?
Что такое TF на самом деле? Когда он нужен, а когда нет?
Документальный полнометражный фильм, который раскрывает тайну Олега Киселева и по пути проверяет готовность Dotty (Scala 3).
В главных ролях Олег Нижников и VS Code. Репозиторий с кодом https://…
Документальный полнометражный фильм, который раскрывает тайну Олега Киселева и по пути проверяет готовность Dotty (Scala 3).
В главных ролях Олег Нижников и VS Code. Репозиторий с кодом https://…
Forwarded from PONV Daily (Sergey Kucherenko)
123.pdf
175.2 KB
"It's Easy As 1, 2, 3" by Gharam Hutton.
Если вы учили теорию типов по мемам, эта статья для вас: поможет организовать знания.
Если вы учили теорию типов по мемам, эта статья для вас: поможет организовать знания.
Экспрессивный доклад о макросах в Scala 3 от автора Quill:
https://youtu.be/SmBpGkIsJIU
https://youtu.be/SmBpGkIsJIU
YouTube
Quill, Dotty, And The Awesome Power of 'Inline' by Alexander Ioffe
Scala 3 is arriving, and with it comes incredible new power for library authors. In this presentation, Alexander Ioffe, a contributor to Quill (a LINQ-like persistence layer for Scala), will show how using Scala 3 Macros, Quill is being rebuilt to be better…