Tue Apr 3 13:16:26 CEST 2012
Product of State and ST?
Does it actually make sense to use a product of State and the ST
monad? Cant the global state go in an STRef?
Anyways, I couln't quite figure out how to do this (too abstract).
But I'm starting to get confused again. Is it possible to build a
structure and its contents separately? Structure can be reused. I
planned to not think of that but maybe it's actually simpler to keep
I.e. we don't need solvers that know how to scan for undefined
variables: this can be done completely generic. The output of a
network compilation step is a program (which solvers to run in what
sequence connected to which nodes.