About:

Personally, just a

Website:

Specializations:

Incoming Links:

Subscribe to RSS:
The blog post explains the concept of type classes and type class derivation in Scala, emphasizing the common misconceptions and suboptimal practices within the community. It discusses the differences between automatic and semi-au...
The text discusses the process of modeling a domain in Scala, emphasizing the importance of understanding the business domain and translating concepts to Scala. It covers the implementation of domain operations and models represen...
The text discusses the IO monad in functional programming, its benefits, and how it is implemented in Haskell and Scala. It also compares Future and Task in Scala, and introduces Cats Effects and Monad transformers.
The text discusses the use of recursion schemes and recursive data in the context of parsing input and generating PDF documents. It explores the process of generating PDFs from HTML documents, merging PDFs, and restructuring docum...
The text discusses the process of parsing and formal grammars, emphasizing the importance of unambiguous language in computer communication. It delves into the history of parsing languages and the work of Noam Chomsky in formalizi...
The text discusses algebraic data structures and their importance in functional programming. It explains the benefits of using immutable data structures and the challenges of updating nested structures. It introduces the concept o...
The text discusses different ways to understand a monad in functional programming. It explains the concept of monads, how they are used, and their applications in various scenarios. The text also delves into the use of containers,...
The text discusses the concept of functors and their applications in functional programming. It explains how functors can be used to define pipelines of operations and provides examples of their usage in different scenarios. The t...

0Algebras we love

2018-12-02

The text discusses the concept of algebras and their applications in mathematics. It explains the origins of algebra, different types of algebras such as magma, semigroup, monoid, and group, and their properties. It also touches u...
The text discusses the concept of relations, starting with the definition of a relation and its properties. It then delves into different types of relations, such as unary, binary, and ternary relations, and their properties like ...
The text discusses the foundations of set theory and how everything in math can be defined using sets. It explains the axioms of set theory and how natural numbers, integers, rationals, and real numbers can be constructed using se...