Feature #35

Lazy boolean operator |

Added by SpiceGuid - almost 4 years ago. Updated about 3 years ago.

Status:Rejected Start:
Priority:Low Due date:
Assigned to:Alain Prouté % Done:

0%
Category:Virtual Machine
Target version:1.x
Platform: Triage Stage:Unreviewed
Resolution:invalid

Description

From the library source, i guess Bool x & Bool y is lazy whereas Bool x | Bool y is strict.

If confirmed then it means the natural coding of an existencial predicate and the natural coding of a universal predicate differ in efficiency.

It seems to me, as a remote consequence of De Morgan law, Bool & and Bool | should be equally efficient.

History

Updated by Alain Prouté almost 4 years ago

Actually, none is lazy, i.e. all are strict unfortunately. Something is missing such as either the possibility of putting small functions inline (which would do as if the call was lazy), or introducing macros.

For the time being, inline functions are almost implemented. I need to have a look at this because maybe no so much work is to be done. As for macros, this project is only for the next boostrapped version.

The reason why boolean & is defined in predefined.anubis is just that it is used in the invisible part of predefined.anubis. But it is defined in the same style as boolean | in basis.anbis, i.e. in Anubis, hence has the same behavior.

Updated by Alain Prouté almost 4 years ago

  • Status changed from New to Assigned

Updated by SpiceGuid - almost 4 years ago

  • Status changed from Assigned to Closed
  • Resolution set to invalid

closed. motive: inaccurate statement of the problem and solution.

Updated by Cédric RICARD about 3 years ago

  • Status changed from Closed to Rejected
  • Platform deleted (All)

Also available in: Atom PDF