This is my personal blog about functional programming. As we live in a world where software reliability is seldom encountered, I set myself the scope to unify the theory and practice into a usable software engineering methodology. You’ll find here various notes on functional programming, how formal methods and precise thinking can leverage the level of the software developed, and most of all, you’ll find how to bring the computing science theory into the world of real problem applications.

I’m a programmer and mathematician by formation and I hope my journey into the realms of programming design will become yours too.

Share Button