Heavy Metals - Metals Deep Dive
In this section we will cover the technical and mathematical details behind
the metals
modeling framework.
We will start by discussing interfaces as a means to specify observable behaviors of a system. By combining some elegant mathematics and proven program modeling concepts, we will extend them to represent 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.
Copyright 2022 Weavers @ Eternal Loom. All rights reserved.