Lib.rs

Poly - 状态和行为建模的接口和类型

Poly 包含了用于建模系统行为和状态的 接口和类型，使复杂的系统可以从简单的系统组合而成。

版权所有 2022 Weavers @ Eternal Loom。保留所有权利。

lib.rs:

Poly 包含了用于建模系统行为和状态的 接口和类型。

一个 接口 指定了系统的可观察行为。通过结合一些优雅的数学和经过验证的程序建模概念，poly 将它们扩展到包括 状态，最终形成一个统一建模框架，可以从简单的系统构建复杂系统。

metals 将接口转换为可以 交谈和运行 的模型，交谈是指它能够清楚地关于它们所代表的系统进行沟通，运行是指它们是可执行的。

概述

Metals 书籍

《metals 书籍》包含了建模的介绍，使用 metals 进行建模的指南，以及深入技术数学背景的探索。

请注意，这仍然是正在进行中的工作。