Hi,

since this was heavily discussed lately, I thought it might be
interesting to see the rationale for their use in Spark as well.


http://www.spark-2014.org/entries/detail/spark-2014-rationale-pre-call-and-pre-loop-values


--
Paulo

Paulo Pinto:

> http://www.spark-2014.org/entries/detail/spark-2014-rationale-pre-call-and-pre-loop-values

It also explains about the Loop_Entry attribute, useful for loop invariants, neat :-)

Bye,
bearophile