Standart ML. Урок 5. Упорядоченные энки

Standart ML   24 октября 2013  Автор статьи:  
Энки это…

Термин энка это обобщение терминов двойка, тройка, четверка и т.д.

Тип упорядоченной пары

Пусть есть произвольные типы A и B, тогда тип A*B — тип упорядоченной пары, первый член которой имеет тип А, а второй член — тип В.

nki2

Запись упорядоченной энки

Упорядоченная энка записывается как последовательность выражений, отделенных друг от друга запятыми, заключенная в круглые скобки.
Пример:
Пусть е1, е2, е3 — три выражения, тогда упорядоченная энка (тройка) записывается как (е1, е2, е3).

nki

Тип упорядоченной энки

Аналогично типу упорядоченной пары, тип упорядоченной энки складывается из типов выражений.
Пусть выражения e1, e2, …, еn имеют типы A1, A2, …, An соответственно, тогда тип упорядоченной n-ки (e1, e2, …, en) будет А1*А2*···*Аn.

Равенство упорядоченных энок

Равенство между энками определяется покомпонентно.
[important]Правило: две энки равны, если их соответствующие компоненты равны.[/important]

okNki

Помните про типы! Соответствующие компоненты пар должны иметь одинаковые типы. Если это не так, будет выдана ошибка согласования типов:

erNki

В шестом уроке узнаем про списки в Standart ML!

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

  • на Delphi

  • на Java

  • на C++