dex10619
今日は
HVectモジュールのソースコードを見ました。
https://hackage.haskell.org/package/hvect-0.4.0.0/docs/src/Data-HVect.html
SpockでHVectElimやHasRepなるものが所々、型注釈で使われているようですが、これの意味が分からなかったので。
Spockでこれを使っている理由がいまだに分かっていない。とりあえずHVectElimはType Families拡張を使用している?ルーティングにマッチしたら、該当の要素を消して、高速化みたいな処理をしてる??よく分からない。謎です。
HasRepも今のところ謎の存在。
HVectモジュールのソースコードを見ました。
https://hackage.haskell.org/package/hvect-0.4.0.0/docs/src/Data-HVect.html
SpockでHVectElimやHasRepなるものが所々、型注釈で使われているようですが、これの意味が分からなかったので。
Spockでこれを使っている理由がいまだに分かっていない。とりあえずHVectElimはType Families拡張を使用している?ルーティングにマッチしたら、該当の要素を消して、高速化みたいな処理をしてる??よく分からない。謎です。
HasRepも今のところ謎の存在。