The Functional Database
Functional languages and paradigms are on the rise, but what about the database? Are we destined to forever have the database be a global shared mutable variable in our systems? In prior talks I've discussed an architecture that can provide the database as a value.
This talk will focus on the impact on the programming model once you have a functional database. What is it like to have the database as a value, local declarative query, speculative and time-travel powers, databases as arguments etc?
The talk will use Datomic as an example, but the principles and benefits will apply to any system that can provide immutable, recoverable bases.