私はHaskellのようなものについて考えています.Haskellは、さまざまな型間で暗黙的に転送するコンパイル時エラーです。FlowTypeに互換性のないエイリアスがある可能性がありますか?
私のような何かをできるようにしたいと思います:
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
を、これがうまく動作するようですしようとしています。多分型エイリアスの他に何かが必要なのかどうか疑問に思っています。私はオブジェクトにラップすることは可能だと思いますが、わかりません。
このようなことは可能ですか?
非常に巧妙です。私はそれが好きです。 –