Crate metals_poly
Expand description
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.
Modules§
- interface
- Contains
InterfaceandInterfaceTypeand their essential implementations used to model behaviors and states of systems.
Traits§
- Interface
- An
Interfacespecifies the behavior of a system as a map from input to output. - Interface
Type - An
InterfaceType