With the right toolset, an impossible problem can become solvable, and with the right abstraction, the inscrutable comes within reach. Examples of these things are Calculus, Polar Coordinates, and the Rosetta Stone. Programming languages are a human construct made to solve a particular problem, but their true power comes from their faithfulness to higher mathematics.

I love SQL because it gives me the power to talk to virtually any datastore and I love Objects because they give me the ability to reason about any discrete thing. However, it is only within the union of Functional Programming, that both of them can live together in harmony; the promises of category theory ensure it.

This is exemplified by the Quill framework of which I am a maintainer, and that I have used to build traditional database applications, as well as formidable ETL and Big-Data pipelines for the Financial Sector.

Alexander Ioffe presents 3 Events:

• Introducing the Quill Framework at Philly 2019

• Tired of Impedence Mismatch? Meet Quill! at Postgres Conference 2020

• Life without ORM: is it possible and how we can get there at Postgres Conference 2020