Type system: Way to say I want a value type

[timotheeguerin]

Right now you can say a string which will accept any string literal("abc") or the string type itself. There is many cases where you'd actually want it to only be allowed to receive a value(string literal in this case).

Maybe we can have something like

model Foo<T extends string & value> {}

// or
model Foo<T extends valueof(string)>

Proposal https://gist.github.com/timotheeguerin/56214ebb131722a9c88a8bdb74a112b1

[markcowl]

use stringLiteral keyword (for example)

'literal'

model Foo<T extends stringLiteral> 
{
   Bar: string = T;
}

@doc(TDoc)
model MyModel<TDoc>

[timotheeguerin]

reopening this as turn out *Literal types were not the best idea. So we still have that gap.

valueof(string) // string literal
valueof(numberic) // numeric literal
valueof(boolean) // boolean literal
valueof({abc: string}) // #{abc: "def"} - object literal(we don't have that