[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] TLA+ Reuse?
- From: Leandro Ostera <leandro@xxxxxxxxx>
- Date: Tue, 26 Jan 2021 00:53:25 +0100
- References: <firstname.lastname@example.org>
I don’t write TLA+ for a living, and I may be wrong here, but I’ll poorly quote Ron Pressler telling me that I need to stop thinking like a programmer and start thinking like a mathematician.
You don’t need reuse when you have abstraction.
You don’t need to compose your specifications into a larger whole.
That seems to be what I picked up from the few specs I’ve written, and all the reading I’ve done on this mailing list.--
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/CAH2TZMgi6r41ZPnwdSmTan5qoVuBuJrBpJ%3D4zLL7zurT5Wekww%40mail.gmail.com.