Deutsch English Français Italiano |
<v45m72$2pe8$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Lawrence D'Oliveiro <ldo@nz.invalid> Newsgroups: comp.lang.c Subject: Re: Shortcut Booleans Date: Mon, 10 Jun 2024 01:51:30 -0000 (UTC) Organization: A noiseless patient Spider Lines: 11 Message-ID: <v45m72$2pe8$1@dont-email.me> References: <v3uoq3$21g4g$7@dont-email.me> <v3uv51$22afr$2@dont-email.me> <v40ge7$2edfj$3@dont-email.me> <v4441g$3f1d5$2@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Injection-Date: Mon, 10 Jun 2024 03:51:30 +0200 (CEST) Injection-Info: dont-email.me; posting-host="1186807d38ad523ecdef8690d71c9c11"; logging-data="91592"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+XvxieM+UrPNrZ8KLf+FpG" User-Agent: Pan/0.158 (Avdiivka; ) Cancel-Lock: sha1:iqdabEQdvHpNAk7udhqgG1gumcE= Bytes: 1460 On Sun, 9 Jun 2024 13:35:12 +0200, David Brown wrote: > In general, it would be inconvenient if you did not know whether "a @ b" > was going to evaluate "b", including all function calls and > side-effects. Ada has “and then” and “or else”, so that you can specifically request shortcut evaluation when program correctness depends on it, and leave it up to the implementation otherwise. This principle could be extended to other situations ...