Tôi cố gắng để sử dụng một dfold định nghĩa here dfold
:: KnownNat k
=> Proxy (p :: TyFun Nat * -> *)
-> (forall l. SNat l -> a -> (p @@ l) -> p @@ (l + 1))
-> (p @@ 0)
-> V
Tôi đã nghiên cứu các nguồn của Chisel và nhiều loại Lavas khác nhau (Kansas, Chalmers và Xilinx flavor) và CLaSH. Tôi đang cố gắng để hiểu những gì là điểm bán hàng chính của Chisel so với những ngườ