Erik is a software developer interested in building compositional software using methods from computer science, category theory, algebra and topology, which he strives to balance with a keen interest in strolling through forests, visiting castles and collecting lava lamps, weather permitting.
Marco Perone, Erik Post
Algebra and domain modelling are similar in the fact that they both aim to obtain a clear representation of their subject, being it a mathematical structure or a knowledge domain.
In this hands-on we will use an algebraic approach, based only on simple operations and their composition, to model the domain of a board game step by step.
We will discover how our simple algebraic language yields a universal tool for modelling tiny and big domains, providing a formal and precise representation which could be easily translated into working software.