問題タブ [hlist]

質問する

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

142 問題
Newest
Active
Bountied
318
Unanswered
0 投票する
1 に答える
141 参照

scala - Scala は形状のない HList の依存型を派生させません (Aux を使用)

String を Integer に変換できる型依存の Converter 型クラスがあるとします。

HLists で動作するようにしたいと思いInteger :: HNilます。理論的には、必要なのは HNil と HList の暗黙的なものだけです。

上記は HNil に対して正常に機能します。

しかし、HList ではありません。興味深いことに、インスタンスは見つかりますが、結果の型は派生しません。

問題をデバッグするためにさらにいくつかの（失敗した）試みがある自己完結型のプロジェクトでそれを設定しました：https://github.com/mpollmeier/shapeless-dependent-type-typeclass-problem


12345678910