chicken-hackers
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Chicken-hackers] [PATCH][5] Move foldable binding annotations into


From: Evan Hanson
Subject: Re: [Chicken-hackers] [PATCH][5] Move foldable binding annotations into types.db
Date: Wed, 1 Oct 2014 00:17:21 -0700
User-agent: OpenSMTPD enqueuer (Demoosh)

On 2014-10-01  8:57, Peter Bex wrote:
> Shouldn't the same be done for #:pure?  If a procedure is purely
> functional, it should be referentially transparent, which means it
> should be foldable.  Or am I overlooking something here?

I believe so: the requirement that certain procedures always return
newly allocated objects. For example, `cons`, while pure, should never
be folded.

Evan



reply via email to

[Prev in Thread] Current Thread [Next in Thread]