Nullable и NullableM

Nullable и NullableM

Nullable - класс типов с неизменяемой размерностью, имеющих нейтральный элемент относительно операции конкатенации.

NullableM - класс типов с изменяемой размерностью, имеющих нейтральный элемент относительно операции конкатенации.

Nullable - частный случай NullableM.

Историческая справка

Класс Nullable был выделен из Linear в sdp-0.2, а NullableM - из LinearM в sdp-0.3.

API

Метод	Nullable	Добавлен	NullableM	Добавлен
Нейтральный элемент	lzero	0.2	newNull	0.3
Проверка на нейтральный элемент	isNull	0.2	nowNull	0.3

Если тип реализует Eq, то сравнение значения с lzero должно быть эквивалентно выплнению isNull. Если у типа есть несколько нейтральных элементов по конкатенации, то они все должны быть равны между собой.