Literal types?

[utenma]

I've learning F# for some days and one of the first things i found coming from Typescript and Scala context is that i could not find a way to declare a literal type

Literal types in typescript, source:

// Literal union type
type Easing = "ease-in" | "ease-out" | "ease-in-out";

const someEasing : Easing =  "ease-in"

Scala also supports literal types, source

// the following constant can store one of three literals 1,2 or 3 only
val three: 1 | 2 | 3 = 3

Could that be possible on F#, i understand that F# is limited by .NET bytecode and/or metadata, in the case of typescript all type metadata is erased, Scala also erase some types.

[utenma]

moved to: fsharp/fslang-suggestions#1166 (reply in thread)