holyjs HolyJS 2019 Msc (08.11.2019)

Contract-based programming as a tool, not a goal


Artem will explain with understandable terms how with help of contract-based programming simplify all best development tolls: static types, tests, documentation.

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.