You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Each marker can be named just Object or ObjectType instead of "marker".
The basic type system is like this:
Type -> Type
Type -> Value
So everything that comes after Type is Type or Value. Meaning, we can have infinite depth hierarchy of types. The special case of type is a concrete value (constant of some type).
For example, we can have:
(Array: Type -> Array)
(EmptyArray: Array -> EmptyArray)
Meaning that Array is type. And EmptyArray is concrete value (constant) of type Array.
Each value/constant is still type. Each type can be used as a standalone constant.
The text was updated successfully, but these errors were encountered:
Meaning root should be named just
Type
orRootType
.Data.Doublets.Json/csharp/Platform.Data.Doublets.Json/DefaultJsonStorage.cs
Lines 280 to 281 in eac0583
Each marker is just type "inherited" from root type. So, marker links should be like this: (Object: Type -> Object)
Data.Doublets.Json/csharp/Platform.Data.Doublets.Json/DefaultJsonStorage.cs
Lines 284 to 296 in eac0583
Each marker can be named just
Object
orObjectType
instead of "marker".The basic type system is like this:
So everything that comes after
Type
isType
orValue
. Meaning, we can have infinite depth hierarchy of types. The special case of type is a concrete value (constant of some type).For example, we can have:
Meaning that
Array
is type. AndEmptyArray
is concrete value (constant) of typeArray
.Each value/constant is still type. Each type can be used as a standalone constant.
The text was updated successfully, but these errors were encountered: