True! I've been following STM and HTM research work for a while, and it all seems quite niche unless all side effects are captured (which is something purely functional languages can do). There isn't a real path to scalability I think, which there was with affine types.
Optimistic concurrency in general is a useful design pattern in many cases, though.
Optimistic concurrency in general is a useful design pattern in many cases, though.