c++11 - FlowまたはTypeScriptには、関数の戻り値の型を別の型として使用する方法がありますか?

Question

C++ にはdecltype、関数を評価せずに戻り値の型を取得できるキーワードがあり、JS の型付き方言に似たようなものがあるかどうか疑問に思っていました。私はそれが次のように機能すると想像します：

let foo = () => 'bar'
let baz: typeof foo() // uses the inferred return type of foo()