[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*From*: Stephan Merz <stephan.merz@xxxxxxxxx>*Date*: Fri, 21 Aug 2020 16:41:21 +0200*References*: <6108b306-0d5a-4a0f-80bf-6c56ebefc51fn@googlegroups.com>

Section 6.4 of Specifying Systems has a thorough discussion of the tradeoffs between functions and operators [1]. The conclusion is as follows: When defining an object V, you may have to decide whether to make V an operator that takes an argument or a function. The differences between operators and functions will often determine the decision. [...] If these differences don’t determine whether to use an operator or a function, then the choice is a matter of taste. I usually prefer operators.
-- Regards, Stephan [1] Since the publication of Specifying Systems, recursive operator definitions have been added to TLA+ and therefore the arguments about recursive definitions no longer apply.
You received this message because you are subscribed to the Google Groups "tlaplus" group. To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx. To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/2DCACC85-ABF7-46A0-8718-40EE5785F56F%40gmail.com. |

**Follow-Ups**:**Re: [tlaplus] When to prefer function or operator?***From:*thomas...@xxxxxxxxx

**References**:**[tlaplus] When to prefer function or operator?***From:*thomas...@xxxxxxxxx

- Prev by Date:
**[tlaplus] When to prefer function or operator?** - Next by Date:
**Re: [tlaplus] When to prefer function or operator?** - Previous by thread:
**[tlaplus] When to prefer function or operator?** - Next by thread:
**Re: [tlaplus] When to prefer function or operator?** - Index(es):