История изменений
Исправление wandrien, (текущая версия) :
Но с таким подходам есть проблема с контейнерами у которых внутри каждого элемента мьютекс – непонятно как это отразить в типах.
Для однотипных элементов можно использовать захват в порядке их адресов в памяти.
Но со стороны системы типов нужно наложить ограничение, что захват не может выполняется поэтапно на разных уровнях стека. Как это сделать, не очень понятно.
Исходная версия wandrien, :
Но с таким подходам есть проблема с контейнерами у которых внутри каждого элемента мьютекс – непонятно как это отразить в типах.
Для однотипных элементов можно использовать захват в порядке их адресов в памяти.