Bewegungsarten mit konstanter Strings und abhängige Typen

Question

sagen, dass ich die folgende Konstante Zeichenfolge haben:

export default const FOO = 'FOO'

Sagen wir, ich importieren diese in einem Strömungs kommentierten Datei wie folgt:

import FOO from '../consts/Foo'

Ich habe dann eine Funktion:

const example = (foo : string) : {| type: FOO, foo: string |} => { 
    return {type: FOO, foo: foo} 
} 

Dies gilt nicht typecheck mit:

6: const example = (foo : string) : {| type: FOO, foo: string |}=> { 
                 ^^^^^^^^^^^^^^ string. Ineligible value used in/as type annotation (did you forget 'typeof'?) 
    6: const example = (foo : string) : {| type: FOO, foo: string |}=> { 
                 ^^^^^^^^^^^^^^ FOO 

Also meine Fragen sind:

1) ist es möglich, Konstanten in Bewegungsarten zu verwenden, wie kann ich dieses Verhalten zu reproduzieren?

2) Ist es möglich, abhängige Typen im Fluss zu tun? also könnte ich zum Beispiel über Typen codieren, dass die zurückgegebene Zeichenfolge dieselbe Zeichenfolge sein muss, die an die Funktion example übergeben wird?

EDIT: Klarstellung zu Teil 2: Ist es möglich, in irgendeiner Art und Weise anzuzeigen, dass die foo Parameter übergaben in die example Funktion in der Tat ist die gleiche Zeichenfolge als Zeichenfolge am foo Schlüssel im Rück Objekt? Oder um zu behaupten, dass die Eingabe und die Ausgabe die gleiche Länge haben (zum Beispiel eine Verschiebechiffrefunktion). Oder sagen Sie eine Permutation der gleichen Charaktere enthalten? (für ein Mischen).

https://en.wikipedia.org/wiki/Dependent_type

Answer 1

Statt FOO als const zu erklären, erklären sie als disjunkte Vereinigung mit nur einem Zweig:

type FOO = "FOO" 

Dann kann der Code wie folgt aktualisiert werden:

const example = (foo : string) : {| type: FOO, foo: string |} => { 
    return {type: "FOO", foo: foo} 
} 

Wenn Sie einen Wert neben dem exakten Zeichenfolgenliteral "FOO" verwenden, in dem sich FOO befindet erforderlich, dann ist es ein Kompilierungsfehler.

Wenn Sie Ihre Konstante beibehalten möchten, müssen Sie den Typ anders benennen, da sie kollidieren würden. So könnten Sie tun:

const FOO = "FOO" 
type FooType = "FOO"; 

const example = (foo : string) : {| type: FooType, foo: string |} => { 
    return {type: FOO, foo: foo} 
} 

Leider kann ich nicht sehen, wie man die Stringliteral zu vermeiden duplizieren, weil Typ disjunkte Vereinigung Definition Syntax nur Literale und Typen erlaubt, keine Variablen, auch wenn sie Konstanten sind.