Interested Article - Тип-сумма

golda
  • 2020-05-28
  • 2

Тип-сумма ( англ. sum type ; также Σ -тип , меченое объединение ) — конструкция в языках программирования и интуиционистской теории типов , тип данных , построенный как дизъюнктное объединение исходных типов.

Наряду с типом-произведением является одной из важнейших форм алгебраического типа данных и одним из способов конструирования типов в интуиционистской теории типов и её вариантах. Перечисляемый тип может быть рассмотрен как вырожденная форма типа-суммы — размеченное объединение ( англ. ).

С точки зрения изоморфизма Карри — Ховарда , сопоставляющего типы данных и конструктивные математические доказательства , тип-сумма соответствует логической дизъюнкции .

Играют важную роль в языках семейства ML , таких как Standard ML , OCaml , Haskell и других.

Примечания

  1. от 4 марта 2016 на Wayback Machine / Functional programming using Caml Light (англ.) : "A sum type is the finite labeled disjoint union of several types. A sum type definition defines a type as being the union of some other types."
  2. Gabriel Gonzalez, от 12 августа 2015 на Wayback Machine / School of Haskell. To infinity and beyond. Pick of the Week (англ.)


Источник —

golda
  • 2020-05-28
  • 2
  • Tags:

Same as Тип-сумма

The title for the last searches