scala - Scala と多型コンテナー

Question

問題があります。関数を Map に格納する必要がありますが、この関数にはさまざまなタイプのパラメーターが必要です。すなわち:

Map(1 -> Int => String, 2 -> String => SomeClass) and so on.

ただし、Function1 の型パラメーターは型であってはなりませんAny。どうすればいいですか？何か案は。ありがとう。

Answer 1

scala Map インターフェースには 2 つの型パラメーターしかないため、scala 型システムと標準マップでは本当にやりたいことができません。

型システムは完全にチューリングされているため、HList http://jnordenberg.blogspot.de/2008/08/hlist-in-scala.htmlと同様のアプローチを使用して、おそらくやりたいことを実行できます。

この奇妙なマップで解決しようとしている実際の問題を提供していただければ、問題の解決策を思いつくかもしれません。おそらく、型コンストラクターは 1 つの型を取り、他の 2 つの型の Function1 を作成しますが、解決する実際の問題を述べるまでは推測です。