Re: (declare (pure ...))

[Pietro Cerutti]

On 9 Feb 2024, at 21:06, Al <frm.ml@mailgw.com> wrote:

Hi,


what does (declare (pure ..)) mean to csc? Is the function supposed to be

* only side-effect free, or ...

* also return the same value when called with the same arguments?

The first implies the second: to be able to choose from a set of return values for the same given argument, you do need to have side-effects, e.g., interact with a RNG which maintains state, read from a file, maintain an index into a circular vector of results, etc..

Here's what the docs say:

http://wiki.call-cc.org/man/5/Declarations#pure

-- 

Pietro Cerutti

I've pledged to give 10% of income to effective charities and invite you to join me.

https://givingwhatwecan.org

Sent from a small device - please excuse brevity and typos.