Весьма внезапная новость — порт изначально скаловской либы на хаскель. 47 Degrees котики :3
Forwarded from bravit-about
Акция с моей книжкой на сайте Маннинга — отличный повод вспомнить про свой канал в телеграме. Если кому-то надо, то по коду dotd020220au дают скидку 50% на Haskell in Depth и заодно на великолепные Get Programming with Haskell и Type-driven development with Idris. https://www.manning.com/dotd
Manning Publications
Deal of the Day
Manning is an independent publisher of computer books, videos, and courses.
За прошедшие выходные я реализовал на TypeScript и опубликовал подход к кодированию алгебраических графов, применяемый в хаскельной библиотеке alga.
Мой репозиторий по предложению автора Alga, Андрея Мохова, был перенесен в организацию Algebraic Graphs, чему я очень рад.
Ставьте звездочки, подписывайтесь, пробуйте использовать, создавайте issues с обратной связью, вот это всё.
Мой репозиторий по предложению автора Alga, Андрея Мохова, был перенесен в организацию Algebraic Graphs, чему я очень рад.
Ставьте звездочки, подписывайтесь, пробуйте использовать, создавайте issues с обратной связью, вот это всё.
GitHub
GitHub - algebraic-graphs/typenoscript: Algebraic graphs implementation in TypeScript
Algebraic graphs implementation in TypeScript. Contribute to algebraic-graphs/typenoscript development by creating an account on GitHub.
Интересная статья о причинах, по которым Discord перевел один из своих сервисов с Go на Rust: https://blog.discordapp.com/why-discord-is-switching-from-go-to-rust-a190bbca2b1f
TL;DR: Go запускает свой GC каждые две минуты вне зависимости от роста кучи, в то время как Rustнормальный язык программирования не содержит GC как сущности, вместо этого полагаясь на аффинные типы.
TL;DR: Go запускает свой GC каждые две минуты вне зависимости от роста кучи, в то время как Rust
Medium
Why Discord is switching from Go to Rust
Rust is becoming a first class language in a variety of domains. At Discord, we’ve seen success with Rust on the client side and server…
Обнаружил, что мой доклад «Программирование на уровне типов на TypeScript: выжимаем из компилятора все соки» с эпамовского ITSubbotnik еще в начале декабря выложили на YouTube. Если вдруг кто-то хотел послушать, но не получилось быть на митапе вживую, то теперь есть возможность наверстать упущенное 🙂
Ну и напомню, что слайды и примеры доступны в репозитории на Гитхабе: https://github.com/YBogomolov/talk-typelevel-ts
Ну и напомню, что слайды и примеры доступны в репозитории на Гитхабе: https://github.com/YBogomolov/talk-typelevel-ts
YouTube
Программирование на уровне типов на TypeScript: выжимаем из компилятора все соки | Юрий Богомолов
Из моего доклада вы узнаете о нюансах системы типов TypeScript, которые позволяют сделать первые шаги в сторону формальной верификации программ.
Первая часть доклада посвящена тому, как можно заставить компилятор делать дополнительные проверки корректности…
Первая часть доклада посвящена тому, как можно заставить компилятор делать дополнительные проверки корректности…
https://www.parsonsmatt.org/2020/02/04/mirror_mirror.html
TL;DR:
Автор рассматривает тайпклассы как функции из типа в терм, и уже одна эта идея стоит того, чтобы прочесть эту статью.
TL;DR:
DerivingVia круто.Автор рассматривает тайпклассы как функции из типа в терм, и уже одна эта идея стоит того, чтобы прочесть эту статью.
www.parsonsmatt.org
Mirror Mirror: Reflection and Encoding Via
Mirror, mirror, on the wall,
Тред просто прекрасный!
TL;DR: код, взятый с ответа на StackOverflow от 2009 года, содержал ошибку, поэтому создавал глобальный мьютекс на один и тот же GUID. Так что работает либо докер, либо рейзеровская утилита.
TL;DR: код, взятый с ответа на StackOverflow от 2009 года, содержал ошибку, поэтому создавал глобальный мьютекс на один и тот же GUID. Так что работает либо докер, либо рейзеровская утилита.