clash

19熱

2答えて

は再帰

私はdfoldを使用しようとしています せずに機能をn回呼び出すために、タイプが各繰り返し関数呼び出しの後に変更することを可能にする折り目を作成すると、here dfold :: KnownNat k => Proxy (p :: TyFun Nat * -> *) -> (forall l. SNat l -> a -> (p @@ l) -> p @@ (l

haskell type-systems type-level-computation clash 2017-02-12

---