[m-users.] A more precise determinism checker

[Bijan Parsia]

One thought I have from a project perspective, assuming you don't need specific syntax or semantics from your new language, is that you might apply your techniques as a separate analyser for Mercury. E.g., a mode or determinism "debugger" or refactorer. It could tell the user, "yes, this has determinism X but you need to do Y to make it explicit".

One advantage of this approach is that you'd have access to a much wider range of samples and users. From a practical perspective, if it's useful enough to pay the computation price then people will use it.

Cheers,
Bijan.