Unique types can also be used to integrate functional and imperative programming.
Типы с гарантией уникальности могут также использоваться для интеграции функционального и императивного программирования.