Uniqueness types are implemented in the functional programming languages Clean, Mercury and Idris.
Типы, гарантирующие уникальность, реализованы в языках функционального программирования Clean, Mercury и Idris.