Typescript: 3番目を形成するための2つのジェネリックパラメーターの交差は同等として認識されません

ここでのエラーは正しいと思います。 はいR1 & R2はデフォルトのRに割り当てることができますが、 Rは_more_特定のタイプでインスタンス化される場合があります。 次のインスタンス化を検討してください。

connect<{ x: number; }, { y: number; }, { x: number, y: number, z: number }>( ... );

これはR1 、 R2 、およびR有効なインスタンス化ですが、 R1 & R2はR割り当てられないため、割り当てられません。 zパラメータ。

あなたの例では、 Rパラメーターは実際には必要ありません（実際のユースケースはもっと複雑かもしれませんが）。 これは機能します：

let connect = <R1,R2>(mapState2Props: (state) => R1, mapDispatch2Props: (dispatch: any) => R2): R1 & R2 => {
  let state = {};
  let dispatch = () => { };
  return { ...mapState2Props(state), ...mapDispatch2Props(dispatch)}
}

うーん、それは良い点です。 ここでの目標は、最終的に戻り値の型Rを指定して、 mapState2PropsとmapDispatch2Props組み合わせると有効なRなる型の安全性を確保できる場所に到達すること

例えば：

interface IComponentProps{
  foo: string;
  doFoo: ()=>void
}
let props: IComponentProps = connect<IComponentProps>(
  (state) => { foo: state.foo },
  (dispatch) => {doFoo: () => dispatch('FOO')}
)

しかし...それが可能かどうかはわかりません...代わりにR1とR2をRサブセットとして定義する必要があるようですが、それらは相互に依存しています...

Rも完全に無関係なタイプである可能性があることに注意してください。 ジェネリックスのデフォルトの型引数は制約ではありません。

connect<{ a: string }, { b: number }, { c: boolean[] }>(() => ({ a: "a" }), () => ({ b: 3 }))