Mastering Functional Programming

Implementations

In order to run this application against a given environment, we need to specify the effect type we are going to be working under. Besides the target effect type, we need to find the implementation for all of the implicit dependencies that our function requires. The beauty of the Tagless Final pattern is that we can run the function against any environment, as long as we can provide the implementation of our implicit dependencies for this environment and for the effect type of our choice.

The first step is to specify the effect type. A good choice would be Future, since it is a concurrency primitive, and capable of representing a wide range of computations. So, with the effect type set to Future, we will have our method called ...