Standart ML. Урок 7. Записи

Standart ML   24 октября 2013  Автор статьи:  
Составной тип записи
  • Запись состоит из конечного множества помеченных полей, каждое из которых является
    значением некоторого типа. Разные поля могут иметь разные типы.
  • Запись задается как последовательность равенств в форме l = e (l — метка; e — выражение), разделенных запятыми, и заключенной в фигурные скобки {}.
  • - {name = "Poly", age = "2"};
    > val it = {age = "2", name = "Poly"} : {age : string, name : string}

    zapisi

  • Каждое равенство l = e устанавливает значение поля, помеченного меткой l, равным значению выражения e.
  • Тип записи — последовательность пар вида l : А (l — метка; А — тип), разделенных запятыми и заключенных в фигурные скобки.
  • Порядок записи (ее равенств l = e) не важен, поскольку компоненты записи определяются метками, а не положением в записи.
  • zapMesto

Равенство записей

Равенство записей определяется покомпонентно.

[important]Правило: две записи равны, если они имеют одно и то же множество меток полей,
а поля, помеченные одинаковыми метками, имеют равные значения.[/important]

zapisiOk

Частный случай записей

Частным случаем записей являются упорядоченные энки, с которыми мы познакомились в 5 уроке.

Упорядоченная энка типа А1*А2*···*Аn является сокращенным обозначением для записи типа
{1 : А1, 2 : А2, …, n : Аn}.

Например, выражения (21, 8) и {1 = 21, 2 = 8} обозначают одно и то же.

zapisiRavenstvo

В восьмом уроке мы познакомимся с идентификаторами, привязками и объявлениями в Standart ML!

Научиться программировать

  • на Delphi

  • на Java

  • на C++