Eirik Tsarpalis’ blog explores advanced programming and mathematics concepts, focusing on .NET, source generators, and high-performance generic programming techniques.
6 articles from this blog
Explores how .NET library authors can use source generators and generic programming to avoid complex runtime reflection, especially for Native AOT support.
Introducing Eff, an experimental C# library for algebraic effects and handlers, enabling advanced control over computational effects like dependency injection and nondeterminism.
Explores using the Tagless-Final pattern in F# for type-safe generic programming, addressing usability issues in libraries like TypeShape.
A technical article presenting a contract pattern for encoding and decoding discriminated union types in schemaless data stores, using the TypeShape library.
The article argues for the importance of recursion in functional programming, specifically F#, countering common misconceptions about its inefficiency.
Explores the benefits and practical limits of purely functional programming in F#, advocating for strategic use of imperative code for performance.
