So far I have exactly one, actually : it’s when a function returns an uple (or a variant) and in some
case some components of that returned uple or variant are never to be used in your general computation,
so you can put anything there as it has the correct type - in that kind of situation I feel it’s cleaner
to have an adhoc syntax rather than putting a random value.
For a more detailed example, see “Choice 2” in my other question here, at Optimal way of writing a debugging-friendly recursion?
Thanks, I’ll look into that.