нельзя ассоциировать с абстракцией над входящими в него значениями? Если я просто ссылаюсь на это множество, к примеру по имени. Допустим, это тип number, который имеет фиксированный диапазон значений. это может быть 0 или 1, или 1000. Указывая, что аргумент имеет тип number я законно могу заключить: здесь абстрагируемся от конкретного числового значения, поскольку оно может быть любое. В Typescript я могу сократить это множество, указав для аргумента явно тип "0|1"
То же самое и с объектами - они есть множество свойств, котое я могу расширять, находить пересечения, вычитать и т.д.
declare opaque type Truth; declare opaque type Lie; declare opaque type Thing: Truth | Lie; declare opaque type Nothing: Truth & Lie; declare opaque type Idea<Meaning>: (Thing => Meaning) => Thing; declare opaque type Knowlege< Subject: Thing, Mind: Idea<Subject> >;
первую часть вроде понял.а про обьекты не понял
Обсуждают сегодня