In this post, we are going to solve a "real world" problem using free monads. First, we will see what are free monads and how they are useful to model domain specific languages. Later, we will solve a real interview exercise using free monads.
In this post, we are going to introduce a few uses cases of Template Haskell such as type class instances derivation, n-ary function generation, a quasiquoter for compile-time input validation and running arbitrary IO at compile time.
In this post, we are going to explore the different approaches to run Haskell scripts without having to depend on an installing GHC in the distribution. We are going to explore how Nix can help us to solve this issue and improve the ergonomics of our scripts.