1) accidental complexity is the source of a large number of bugs
2) implicit, unnecessary, tightly-coupled state is the cause of a significant number of bugs.
3) mostly-functional programming reduces the amount of state in 2
4) RDMS databases, with transactions and triggers, are a good way of reducing state as well
Clojure applies all of these lessons. lisp reduces accidental complexity in the language. FP reduces accidental complexity wrt to state. the STM and agents are close analogues to DB transactions and triggers.
"even the idea of functional programming over relational data is obvious". Yes, but where else has that been tried?
1) accidental complexity is the source of a large number of bugs 2) implicit, unnecessary, tightly-coupled state is the cause of a significant number of bugs. 3) mostly-functional programming reduces the amount of state in 2 4) RDMS databases, with transactions and triggers, are a good way of reducing state as well
Clojure applies all of these lessons. lisp reduces accidental complexity in the language. FP reduces accidental complexity wrt to state. the STM and agents are close analogues to DB transactions and triggers.
"even the idea of functional programming over relational data is obvious". Yes, but where else has that been tried?