Nicholas Clarke

There's a few aspects to this: 1. Create an interpreter that discards `Predicate` clauses. This can be closely modelled on `applySTSIndifferently` (https://github.com/input-output-hk/cardano-ledger-specs/blob/master/semantics/executable-spec/src/Control/State/Transition/Extended.hs#L185). Then this needs to be wired upwards (variant...

https://github.com/input-output-hk/cardano-ledger-specs/pull/1610 gives us part 1. Part 2 is easy to change, but at the moment we don't have any control flow predicates, so I've left it for the moment. Part...

Actually, that's a lie. I hadn't read the comment about still needing to check for e.g. double spending - I thought this was reapplying a transaction to the very same...

@uroboros added a change which gave a 2x speedup here, but it seems that the re-organisation caused a 10x slowdown. So we still have more to do here.

Hi! Great that you're looking into doing this. In terms of the first point, I would tend to add an executor specific to the scheduler - we considered doing this...

I've just read your blog post, which was great! Seems like most of the problems you're seeing are reflections of the fact that funflow's intentionality is all done at the...

Yes, I see the issue here. I'm not sure that changing the hashing mechanism (by itself) would help that much, because we still actually try to return the value from...

Yes, I think having `MapA` directly as a constructor for the flow would make a lot of sense. At the moment the implementation of `mapA` will cause the program to...

OK, this should be pretty easy to implement!

We are definitely interested in this. At the moment we have an intern looking at whether [Common Workflow Language](https://www.commonwl.org/draft-3/UserGuide.html) might be a good language for a front-end DSL, mostly due...