FlowTypeに互換性のないエイリアスがある可能性がありますか？

Question

私はHaskellのようなものについて考えています.Haskellは、さまざまな型間で暗黙的に転送するコンパイル時エラーです。

私のような何かをできるようにしたいと思います：

type Username = string; 
type Password = string; 

function login(username: Username, password: Password): void { 
    // do some stuff 
} 

const username: Username = getUsername(); 
const password: Password = getPassword(); 

login(password, username); // ideally, should error 

を、これがうまく動作するようですしようとしています。多分型エイリアスの他に何かが必要なのかどうか疑問に思っています。私はオブジェクトにラップすることは可能だと思いますが、わかりません。

このようなことは可能ですか？

Answer 1

あなたは、この使用してクラスをエミュレートすることができます。

declare class Password {} 

function passwordFromString(str: string): Password { 
    return (str: any); 
} 

function passwordToString(pass: Password): string { 
    return (pass: any); 
} 

function checkPassword(pass: Password): boolean { 
    if (passwordToString(pass) === 'foo') { 
    return true; 
    } 

    return false; 
} 

Answer 2

「不透明タイプは」これはハックで呼ばれているものです。ここでフローを実装する方法についてのいくつかのディスカッション：https://github.com/facebook/flow/issues/1056#issuecomment-154876614

Answer 3

Opaqueタイプは正式にフローに実装されています。ここでドキュメントをチェックしてください：https://flow.org/en/docs/types/opaque-types/