私は F# のいくつかの重要なポイントをブラッシュアップしています。インストラクターは、概念を理解するのに役立ついくつかの演習を勧めています (宿題ではありません)。彼は、サンプル式が与えられたときに F# コンパイラが推論する特定の型を私たちに与えてくれました。私がやや行き詰まっているものは次のとおりです。
('a -> 'b) -> ('b -> 'c) -> ('a -> 'c)
と
('a -> 'b) * ('c -> 'a) -> ('c -> 'b)
最初のものはもちろん関数合成演算子(f o g)(x)、または(>>)ですが、2番目のものは考えられません。誰か提案はありますか？また、最初のものに代わるものも非常に高く評価されます。