In this chapter, we have covered the broad infrastructure that the Typelevel umbrella of libraries provides for purely functional programming. First, we learned the foundation for asynchronous programming with Cats, that is, the Cats effect library. We discussed the IO concurrency primitive and the philosophy of computations as values. After that, we learned the foundations for the server-side programming, which involves a range of libraries. The libraries in question were responsible for HTTP request handling and database access, while utilizing a JSON conversion library under the hood. We have had a birds-eye overview of what programming with these may look like.
By now, we have covered enough of material for us to start writing industrial software in a purely functional way. In the next chapter, we will see more advanced patterns of functional programming. These patterns...
