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: