LINUX.ORG.RU

История изменений

Исправление wandrien, (текущая версия) :

В голове вертится что-то насчет монад и хаскеля.

Нужно проверку типов на уровне связывания стейтментов в последовательность. После того как выполнен переход по машине состояний, описывающей мьютексы, любой захват с не подходящего уровня ловится при проверке типа стейтмента.

Что-то такое.

А так как средства хаскеля вполне можно отразить на шаблоны крестов, то и на шаблонах реализация возможна.

Но результат будет мало похож на обычный с++.

Исходная версия wandrien, :

В голове вертится что-то насчет монад и хаскеля.

Нужно проверку типов на уровне связывания стейтментов в последовательность. После того как выполнен переход по машине состояний, описывающей мьютексы, любой захват с не подходящего уровня ловится при проверке типа стейтмента.

Что-то такое.

А так как средства хаскеля вполне можно отразить на шаблоны крестов, то и на шаблона реализация возможна.

Но результат будет мало похож на обычный с++.