Scheduling Batch Computations

Last time , I talked about batches, my term for an arena-allocated, flattened form of an AST, which I think is going to be a key data structure in Herbie. That post covered basics and sketched out a type theory; in this post I want to dive deeper into computating with batches. Batch Refresher & Index Safety Here's just a quick review from last time. A batch stores a recursive data structure like…