История изменений
Исправление wandrien, (текущая версия) :
В голове вертится что-то насчет монад и хаскеля.
Нужно проверку типов на уровне связывания стейтментов в последовательность. После того как выполнен переход по машине состояний, описывающей мьютексы, любой захват с не подходящего уровня ловится при проверке типа стейтмента.
Что-то такое.
А так как средства хаскеля вполне можно отразить на шаблоны крестов, то и на шаблонах реализация возможна.
Но результат будет мало похож на обычный с++.
Исходная версия wandrien, :
В голове вертится что-то насчет монад и хаскеля.
Нужно проверку типов на уровне связывания стейтментов в последовательность. После того как выполнен переход по машине состояний, описывающей мьютексы, любой захват с не подходящего уровня ловится при проверке типа стейтмента.
Что-то такое.
А так как средства хаскеля вполне можно отразить на шаблоны крестов, то и на шаблона реализация возможна.
Но результат будет мало похож на обычный с++.