Some manner of pluggable STM protocol to define a standard programming model on top of conflict detection would be pretty nice tho imo. Features like postgres'

Some manner of pluggable STM protocol to define a standard programming model on top of conflict detection would be pretty nice tho imo. Features like postgres's serialized transaction isolation -- which as a non expert I think of as basically database implemented STM -- are really flexible -- but most ecosystems programming models don't really expose this capability in a full proof and natural way. You have to work to too hard to take full advantage of the capability ...