Lib.rs

Poly - Interface and Types for Modeling States and Behaviors

Poly contains the interfaces and types for modeling behaviors and states of systems enabling complex systems to be composed from simpler ones.

Copyright 2022 Weavers @ Eternal Loom. All rights reserved.

lib.rs:

Poly contains interfaces and types for modeling behaviors and states of systems.

An interface specifies the observable behavior of a system. By combining some elegant mathematics and proven program modeling concepts, poly will extend them to include states, finally arriving at a unified modeling framework for composing complex systems from simpler ones.

metals turn interfaces into models that can talk and run at the same time, talks as in its ability to communicate clearly about the systems they represent and run as in they are executable.

Overview

Metals book

The metals book contains introduction to modeling, guides for modeling with metals and deeper dive into technical and mathematical background.

Please note that this is still work in progress.