rodzaje przepływów z ciągami stałymi oraz typy zależne

Question

Say mam następujący stały ciąg:

export default const FOO = 'FOO'

powiedzieć, że import ten w adnotacją pliku przepływu tak:

import FOO from '../consts/Foo'

Następnie mam funkcję:

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

nie typecheck z:

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 

Więc moje pytania to:

1) możliwe jest używać stałych typów przepływu, jak mogę odtworzyć to zachowanie?

2) Czy możliwe jest wykonywanie zależnych typów w przepływie? więc na przykład, czy mogę kodować, poprzez typy, że zwracany ciąg musi być tym samym ciągiem, który jest przekazywany do funkcji example?

EDIT: Wyjaśnienie do części 2: Czy jest możliwe, aby w jakiś sposób wskazać, że parametr foo przekazywane do funkcji example jest w rzeczywistości ten sam ciąg jako ciąg w kluczu obiektu powrotnej foo? Lub twierdzić, że wejście i wyjście mają tę samą długość (na przykład funkcja szyfru przesunięcia). Lub powiedzmy, że zawiera permutację tych samych znaków? (dla shuffle).

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

Answer 1

Zamiast deklarowania FOO jako const, zadeklarować ją jako suma rozłączna z jednego oddziału:

type FOO = "FOO" 

Następnie kod może być aktualizowana tak:

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

Jeśli używasz dowolnej wartości oprócz dokładnego ciągu literowego "FOO", gdzie FOO jest wymagane, to jest błąd kompilacji.

Jeśli wolisz zachować stałą wartość, będziesz musiał nazwać ten typ inaczej, ponieważ mogą się zderzyć. Więc można zrobić:

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

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

Niestety, nie widzę sposobu, aby uniknąć powielania ciąg dosłowne, ponieważ typ rozłączne składnia definicji unia dopuszcza tylko literały i typy, a nie zmienne, nawet jeśli są one stałe.