Content deleted Content added
m Signing comment by 210.84.17.212 - "→Examples of difficulties introduced by declarativeness?: " |
|||
Line 76:
)
This is a switch whose third case is a multi-cons-id case, This gets compiled efficiently, expresses the computation clearly and (in the right context) uses the determinism checker to ensure that all days are covered exactly once. It can also be run in reverse where the OpenHours is ground and Day is free, where it would be nondeterministic. <span style="font-size: smaller;" class="autosigned">—Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/210.84.17.212|210.84.17.212]] ([[User talk:210.84.17.212|talk]]) 01:56, 12 February 2010 (UTC)</span><!-- Template:UnsignedIP --> <!--Autosigned by SineBot-->
== "Good" principles ==
| |||