Forwarded from gsomix
Подготовил список образовательных материалов:
- тайпклассы для .NET;
- тайпклассы на SRTP;
- экзистенциальные типы;
- rank-N polymorphism;
- HKT: оригинальная статья, одна из реализаций, цикл статей;
- GADT: оригинальная статья, пример реализации;
- tagless final: оригинальная статья, статья про применение, пример реализации;
- object algebras: ознакомительная статья, пример реализации;
- алгебраические эффекты: обзорная статья, реализация для C#, статья про нее.
- тайпклассы для .NET;
- тайпклассы на SRTP;
- экзистенциальные типы;
- rank-N polymorphism;
- HKT: оригинальная статья, одна из реализаций, цикл статей;
- GADT: оригинальная статья, пример реализации;
- tagless final: оригинальная статья, статья про применение, пример реализации;
- object algebras: ознакомительная статья, пример реализации;
- алгебраические эффекты: обзорная статья, реализация для C#, статья про нее.
GitHub
visualfsharp/examples/fsconcepts.md at hackathon-vs · MattWindsor91/visualfsharp
The Visual F# compiler and tools. Contribute to MattWindsor91/visualfsharp development by creating an account on GitHub.
Some <| CoolStuff() pinned «#prog #dotnet #fsharp Просто шикарная подборка материалов по F#, которая будет полезна всем!»
#prog #dotnet
Вчера прошёл вебинар по внутренностям сборщика мусора в .NET.
Запись: https://youtu.be/K3uaXipc1xQ
Вчера прошёл вебинар по внутренностям сборщика мусора в .NET.
Запись: https://youtu.be/K3uaXipc1xQ
YouTube
.NET GC Internals - 08. Generations
The eighth episode of the .NET GC Internals series explaining a real in-depth knowledge how .NET GC works. In this episode I will cover the concept of generations, both from logical and physical prspective (including how they relate to segments).
👉 Slides:…
👉 Slides:…
#meme #fools_day
https://twitter.com/ptkaster/status/1377427814052335618
https://stackoverflow.blog/2021/03/31/the-key-copy-paste/
https://twitter.com/ptkaster/status/1377427814052335618
https://stackoverflow.blog/2021/03/31/the-key-copy-paste/
Twitter
Paul Kaster
Stack Overflow just started limiting copying code from the site to 2x per user. The only way to get around it is to buy a physical copy switch from SO. Get ready for the entire web to crash.
#prog #learn
PluralSight бесплатен в апреле!
https://www.pluralsight.com/offer/2021/free-april-individual
PluralSight бесплатен в апреле!
https://www.pluralsight.com/offer/2021/free-april-individual
Pluralsight
Courses & Training for Individuals on an Online Learning Platform | Pluralsight
Advance your tech skills with Pluralsight, an online learning platform with expert-led courses, certifications, assessments and hands-on experiences.
#prog #coq
Тем временем
Не знал, что мнение детсадовцев может так влиять на создателей языка.
https://coq.discourse.group/t/renaming-coq/1264
Тем временем
Coq предлагается переименовать из-за количества людей, отказавшихся от изучения/использования языка из-за его названия. Не знал, что мнение детсадовцев может так влиять на создателей языка.
https://coq.discourse.group/t/renaming-coq/1264
coq.discourse.group
Renaming Coq - Announcements - Coq
Dear members of the Coq community,
The Coq development team acknowledges the recent discussions (started on the Coq-Club mailing list) around Coq’s logo and name.
We wish to thank everyone that participated in these di…
The Coq development team acknowledges the recent discussions (started on the Coq-Club mailing list) around Coq’s logo and name.
We wish to thank everyone that participated in these di…
#prog #rust #android
Rust теперь один из основных языков для Android. Это значит, что новые системные компоненты будут разработаны на нём. Хороший день для сообщества Rust.
https://security.googleblog.com/2021/04/rust-in-android-platform.html?m=1
Rust теперь один из основных языков для Android. Это значит, что новые системные компоненты будут разработаны на нём. Хороший день для сообщества Rust.
https://security.googleblog.com/2021/04/rust-in-android-platform.html?m=1
Googleblog
Rust in the Android platform
Posted by Jeff Vander Stoep and Stephen Hines, Android Team Correctness of code in the Android platform is a top priority for the securit...
Forwarded from oleg_log (Oleg Kovalov)
Люблю эту историю раз в полгодика перечитывать. Оно и с жизнью не пересекается (не все так плохо), но чувствуешь, что живешь в этом, от этого и смешно, и грустно.
Хз почему, но в поиске в телеге выдало 0 результатов в подписках и ЛС. Настолько баян или забытый шедевр?)
https://voron-vp.livejournal.com/42033.html
Хз почему, но в поиске в телеге выдало 0 результатов в подписках и ЛС. Настолько баян или забытый шедевр?)
https://voron-vp.livejournal.com/42033.html
Livejournal
Две полоски
Источник JIRA ISSUE #182355 Type: BUG Priority: MEDIUM Created: 21.02.12 18:21 Description: С Дзуйкаку взлетает Зеро с маркировкой авианосца Кага. 21.02.12 18:30 Elena Ivanova [community manager] commented: наблюдательные товарищи пишут в интернете что у…
Forwarded from Telegram Info (Antonio Marreti 🚩)
Telegram запустил два новых веб-клиента
Обе представленные версии поддерживают анимированные стикеры, темный режим, папки для чатов и многое другое.
Больше информации: bugs.telegram.org/c/4002
webz.telegram.org
webk.telegram.org
#web
Обе представленные версии поддерживают анимированные стикеры, темный режим, папки для чатов и многое другое.
Больше информации: bugs.telegram.org/c/4002
webz.telegram.org
webk.telegram.org
#web