Вид (теория типов)

В теории типов вид (англ. kind; переводится также как род, сорт или типаж) — это тип операции конструирования типа (то есть, «тип типа» или «тип второго порядка»).

Виды как объект языка появляются в системе λ_ω, то есть, лямбда-исчислении с операторами над типами.

Употребляемые виды

• ∗ — вид обычных типов данных
• ∗→∗ — вид унарных конструкторов типа
• ∗→∗→∗ — вид бинарных конструкторов и конструкторов функций
• ○ — линейный вид (система F^○)

Литература

• Пирс Б. Типы в языках программирования. — Добросвет, 2012. — 680 с. — ISBN 978-5-7913-0082-9.

Ссылки

• Moors A., Piessens F., Odersky M. (2008) Generics of a Higher Kind