Lazyweb: are there testing regimes / frameworks that require / encourage each test case to be accompanied with a (natural language) rationale? eg not just the input and expected output but WHY that output is the expected one? cc
Conversation
I don't know of one, but in (which is designed for students) we allow natural language for precisely this reason, and it's part of the UI. Each test *block* carries text (right level of granularity). `because` is fun, too, for showing rationale *as code*. See:
1
1
Here's what happens if you give the wrong rationale.
This is designed for pedagogy, but in general, we often have multiple reasons for something to be true, and/or it can be handy to see the concrete answer AND the rationale.
2
1
Just wanna say that test output is gorgeous! When I toyed around with it a couple of months ago I also really appreciated how Pyret rendered compiler diagnostics in the browser. Super nice work on that. 🥰