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 fu

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.