Contract-based programming as a tool, not a goal
What does creating mean? To have an idea? To build something physical? To draw a picture or make a sound? Good support for reliable program execution is contract-based programming because this approach guarantees the correctness of incoming and outgoing data. Artyom will talk about what problems it solves and what creates, how to simplify the development with the help of contract-based programming. In particular, static typing, tests, documentation. We will discuss existing frameworks implemented in JS and dive a little into Artyom's own development — rtcad.