Jacques Carette
Jacques Carette
I'm fine with a Background section that has a (sub)section on "larger setting" that puts things in the larger domain of software automation. I prefer an Introduction that gets to...
This generalizes to: how do we insure that the code we generate is "as expected", not just textually, but that it actually works too. And absolutely, it should be automated....
The fact that removing those constraints does not alter stable feels like a bug. That information should be used, but apparently it's not. So I think the pragmatic thing to...
I'd rather not have a hack, and yet still display them in the constraints table! What would it take to do that?
Right, to summarize, the issues are: 1. we need to be able to restrict values from known spaces to be from a discrete, finite, enumerated set of values, 2. we...
As far as I know, there is no branch with the attempt. It was clear that the design wasn't going to work (but it got close! though it wouldn't have...
So: yes. We do want to "evolve" things in this direction.
Sure, that's a better name.
On to the real content of this: - `C` is indeed a huge problem. One potential solution is to have it take a `Proxy` argument that carries with it a...
That's a really interesting question. I'm pretty sure that the current answer is 'no'. We don't have knowledge in Drasil about our own examples, nor own to build these things....