cpp_philosophers_stm:使用基于Free monad构建的组合STM的餐饮哲学家任务

哲学家，C ++ STM版本 这是C ++中的功能设计和功能编程的展示项目。 哲学家的任务是使用自定义组合单子STM库解决的。 安装 在项目目录中运行： git clone --branch v0.5 git@github.com:graninas/cpp_stm_free.git ./lib/cpp_stm 然后用Qt构建。 要求 GCC 7.2 另请参阅：Monadic C ++ STM 使用几种FP技术构建的软件事务性内存工作库。 STM是单核的和组合的 由于具有纯功能设计，因此非常坚固 它建立在自定义的Free monad之上 它通过自定义ADT运行 尽管是实验性的，但它仍然可用。 另请参阅：STM示例 更多cpp_stm_free用法示例。 另请参阅：琥珀色 C ++中的功能声明式设计展示。 《琥珀编年史》中的关于琥珀的游戏。 另请参阅：CMLife CMLif