Software configurations often start as a few command line flags or a simple key-value file. But as software evolves its configuration complexity grows and maintainability gets worse. It becomes easier to introduce a mistake and sometimes that mistake can cost a lot.

In this talk we discuss an approach to solve this problem by introducing a type system to a configuration language. The type system will provide safety and modularity of configurations. We explain how these properties can be achieved and show how they help to control complexity.

Типізуйте вашу конфігурацію та пожинайте плоди

В доповіді розглядається мова для конфігурації програмного забезпечення та вводиться система типів, за допомогою якої досягаються властивості безпечності та модульності конфігурацій. Також пояснюються принципи, за допомогою яких ці властивості було досягнуто. Доповідь акентує увагу на контролю складності та збереженні підтримуваності впродовж циклу експлуатації програмного запезпечення як наслідків використання типізованої мови конфігурації, а також окреслює межі застосовності описаного підходу в індустрії.