#meta-programming #modeling #component #compose #api

metals-poly

Poly library provides the interface and interface type abstractions that form the foundations of the meta programming in Metals

2 releases

0.1.1 Oct 22, 2022
0.1.0 Oct 20, 2022

#23 in #meta-programming

28 downloads per month
Used in metals

MIT license

16KB
98 lines

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.


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.

Dependencies

~420KB