オブジェクトのフロータイプ

Question

私は、JavaScriptプロジェクトにFlowを追加しています。

いくつかのケースでは、私はこのようなことをします、私はオブジェクトを持っています。

私は、キーを保持しながら値を置き換える、オブジェクトにマッピングを行う一般的な関数を持っています。

function enfunctionate(someObject) { 
    return _.mapValues(myObject, (value) =>() => value) 
} 

私はこれを実現するための方法はありタイプ{x:() => number, y:() => string}を返す関数が欲しいですか？

もちろん、一般的には{[key: string]: any}と入力することができますが、フローを使用して静的なタイピングをたくさん失うことになります。

コード生成や動作可能なマクロでこれを行う少数のケースを置き換えることができますが、フローでそれを行うには良い方法はありません。

この問題を解決する方法はありますか？

Answer 1

それはany

function enfunctionate<O: Object>(someObject: O): { [key: $Keys<O>]: (...rest: Array<void>) => any } { 
    return _.mapValues(someObject, (value) =>() => value) 
} 

const obj = enfunctionate(myObject) 

obj.x() // ok 
obj.unknown() // error 

EDIT関与まだあります{[key: string]: any}よりも安全ですがこれは、あなたが現時点で得ることができる最高です：あなたがしたよう$ObjMap

function enfunctionate<O>(o: O): $ObjMap<O, <V>(v : V) =>() => V> { 
    return _.mapValues(o, (value) =>() => value) 
} 

Answer 2

フローは多くのことを推測できます。ただし、型を固定する場合は、型を自分で作成する必要があります。渡すオブジェクトの型をenfunctionateに作成し、返される型を指定する必要があります。

type aliasで関数を入力できます。したがって、その関数の新しい明示的な型を作成することができます。

function enfunctionate<X, Y>(x: X): Y { 
    return _.mapValues(myObject, (value) =>() => value) 
} 

は、限り、あなたはXの種類を知っているように、あなたはY.タイプエイリアシング、ジェネリック医薬品の種類を知っている、と組合はあなたが必要な柔軟性を与えることができるはずです。

の型が正しく指定されていれば（他の人もうまくいけば）、enfunctionateの型を指定するだけで、その関数の戻り値の型を推測できるようになります。 。