Линейные типы

Линейные типы — система типизации в языках программирования, опирающаяся на линейную логику. В данной системе вводится новый вид данных — типы, запрещающие копирование ссылки на объект. Таким образом, после появления в правой части присваивания объект выходит из рассмотрения программы.

Афинные типы — сходная, но менее строгая система, в которой возможно использовать объект однократно (тогда как в линейной системе объект обязательно использовать однократно).

Использование

Линейные типы используются для облегчения работы с изменяемым состоянием: не нужно отслеживать текущее состояние объекта. Благодаря этому, в частности, возможно применение различных оптимизаций и частичный отказ от сборщика мусора.

Языки

• ATS
• Idris (язык программирования)
• Mercury
• Rust

Ссылки

• LinearML
• ALMS
• F*