⚡️ F# Weekly #12
🏷️ #devdigest #dotnet #net #microsoft #ide #vscode #visualstudio #fp #fsharp #nbomber #maui
Haskell for all: Data is Code
https://haskellforall.com/2016/04/data-is-code
#programming #LambdaCalculus #plt #FunctionalProgramming #FP #Haskell #Scala
Functional Languages and the Future of Programming
https://www.lpi.org/blog/2026/03/18/functional-languages-and-the-future-of-programming-part-1/
Monuses and Heaps - Donnacha Oisín Kidney
https://doisinkidney.com/posts/2026-03-03-monus-heaps.html
#haskell #fp #algorithms #programming #functionalProgramming
So richtig hat das #rustc ja keien HKTs (Higher kinded types), aber interessanter Blog wie man ihnen nahe kommt, wenn man z.b. eine kleien #fp Sprache schreieben will:
"Torturing rustc by Emulating HKTs, Causing an Inductive Cycle and Borking the Compiler"
Oder einfach: Propositions as Types, Proofes as Values ;)
https://www.harudagondi.space/blog/torturing-rustc-by-emulating-hkts/
Good Haskell Libraries | Lobsters
Elvis-модификатор доступа в C#
Доброго Здоровья! Предполагается, что статья будет интересна тем, кто любит четкие контракты в своих проектах, строгость и чистоту в инкапсуляции, новые подходы в ООП. А также тем, кто уважает функциональное программирование. Эти темы и затрагиваются в предлагаемом «Elvis-модификаторе доступа», реализованным через Roslyn Analyzer. Все исходники и nuget пакеты прилагаются.