1. MapReduce, Cats, collection-strawman and Object Algebras

    5 months ago John DeGoes wrote nice tweet about expressing map-reduce model as haskell function signature. In this article we will see how to translate it to scala and how far we can push it’s polimorphism. …


  2. Scala Typelevel Church Encodings

    You have probably heard about Lambda calculus, right? Basically everything you have there is lambdas. And to do anything with them it is nice to use Church encoding, which is a way to represent natural numbers, booleans, conditionals and simple data structures using only lambdas. …


  3. Scalar Conference 2017 Summary

    On 7th & 8th of April I’ve been at the Scalar Conference, a great event in Warsaw. Here you can find summaries of the presentations with my, totally biased and probably wrong, comments. …


  4. Typeclass: when inheritance is not enough

    If you ask Wikipedia about polymorphism, it will tell you that it is about “provisioning a single interface to entities of different types”. And this is true(remember that interface here and in whole post means API, not some element that is part of the language, like scala’s trait). In the following post we will go through a series of cases where traditional way of implementing polymorphism(by which I mean inheritance) is not enough . …


  5. static-config: 6-lines wrapper around typesafehub/config

    I have just released static-config which is very small library that allows to scrap some boilerplate when working with typesafehub/config. Here you can find motivation for writing it. …


  6. The Proof - Monad as a Monoid in Category of Endofunctors

    You have probably seen folllowing Definition somewhere on your FP path. …