問題タブ [context-bound]

Scala with Catsという本を読んでいます。scala 型システムの機微を理解しようとしています。次の例を思いつきました。

これはコンパイルされず、次のエラーが表示されます。

タイプ Example.Serializer[Any] の証拠パラメーターの暗黙的な値が見つかりませんでした

なぜこれが起こるのか理解できました。それは私の関数f1によるものです。List[Int] と List[String] を関数に渡したので、共通の親の型は Any です。そのため、タイプ情報が消去され、シリアライザーに渡されます。

ただし、コンテキストをバインドした場合、コンパイラはこれが行われる前に暗黙の定義を最初に探すべきではありませんか? 明らかにそうではないので、私の理解は間違っています。この問題を回避する Scala の方法は何ですか。

どんな説明でも大歓迎です！

2つの定義の違いは何ですか?

def f[F[_]: Async](...) = ???

def f[F[_]](...)(implicit F: Async[F]) = ???

後でAsync[F].async {}最初のケースとF.async {}2番目のケースで使用できますが、違いがわかりません。どうも。

私は次のことを試しました

しかし、動作しませんか？何が問題なのですか？

編集

これはもちろん機能します