在任何编程语言中是否存在SHOULD(或其他模态动词)结构？

据我所知,我从未在计算机语言中遇到过SHOULD构造,但与那里的数百种语言相比,我再也不知道那么多语言.

无论如何,SHOULD和其他模态动词在自然语言中非常普遍,在编写文档和具有法律约束力的合同时它们的含义非常清楚,因此它们不是真正的灰色术语,理论上可以用编程术语来表达(我猜).

例如,ASSERT在某种意义上支持MUST构造.

有这种事情的实际例子吗？关于它的任何研究？我猜测一些基于规则的系统,也许模糊逻辑算法就像这样工作.

我想的try是"应当" catch,并finally作为"的情况下,它不"