Las simetrías ocultas que reducen a la mitad los boolean scans en APL
Symmetries in Boolean Scan
APL incluye diez primitivas booleanas, pero implementar cada una de forma eficiente es costoso. El artículo explora cómo las simetrías bajo negación permiten que un subconjunto mínimo —∧, < y ≠— cubra todas las demás mediante transformaciones en las tablas de verdad. Con estas reglas de composición, los intérpretes pueden ofrecer un rendimiento óptimo sin escribir código especializado para cada primitiva.
We can see that the set ∧, <, ≠ covers all columns at least once, therefore if we provide fast implementations of each of these, we can derive decent implementations of the others by just applying these symmetries.