by nicolast on 8/20/17, 3:11 PM with 32 comments
by lambdaxdotx on 8/20/17, 3:36 PM
It's a bit simpler in implementation; the relevant data structures are defined a bit differently, so it could give a nice alternate perspective about what a blockchain written in Haskell may look like.
by qaezel on 8/21/17, 10:49 AM
by umen on 8/20/17, 5:58 PM
by ngcc_hk on 8/20/17, 11:00 PM
by alphaalpha101 on 8/20/17, 10:01 PM
newtype BlockF a = Block (V.Vector a) deriving (Eq, Show, Foldable, Traversable, Functor, Monoid)
type Block = BlockF Transaction
type Blockchain = Cofree MerkleF Block
Does anyone really think this is how one should write software? I think that constructions like Cofree are interesting, but I don't think they're programming.by macsj200 on 8/20/17, 10:45 PM
by cyphar on 8/20/17, 6:26 PM