The Strong Static Type

At The Strong Static Type, we demystify and explore the elegant world of functional programming, category theory, and type-safe architecture. 

We focus on the practical aspects of FP, drawing from my daily work of building robust and elegant applications in Haskell and PureScript. I also organize the Functional Programming India meetup group (https://functionalprogramming.in), and we aim to bring together functional practitioners in India together to learn and share ideas.

If you want to learn to write software that is correct by construction, you are in the right place.