Ниже приведен мой код философов-ресторанов и выдается ошибка компиляции, в которой говорится: «Последнее утверждение в конструкции 'do' должно быть выражением: mVar2 <- newEmptyMVar mVar3» Может ли кто-нибудь помочь мне ...

Мне нужно проверить мой алгоритм решения задачи обедающего философа, гарантирует ли он, что все нижеперечисленное выполнено или нет: Отсутствие возможности тупика. Отсутствие возможности голодания. Я ...