[swift-evolution] [Pitch] Support for pure functions. Part n + 1.

T.J. Usiyan griotspeak at gmail.com
Thu Feb 16 14:34:53 CST 2017


Thank you everyone.

Since there does some to be interest, I have created a gist with some
updates based on feedback. I have only incorporated the quickly
integratabtle bits, so far.

https://gist.github.com/griotspeak/31445ddcdba44bb8de599be6c9a93bd1

On Thu, Feb 16, 2017 at 3:03 PM, Nicolas Fezans via swift-evolution <
swift-evolution at swift.org> wrote:

>
> > If it mutates whatever the input is referencing, it would have a
> side-effect which makes it "not pure" (for my understanding of what “pure”
> means).
>
> I am not really sure of it (I have not played around with it until now)
> but I don't think that this is an issue with the swift inout, cf.
> https://developer.apple.com/library/content/documentation/
> Swift/Conceptual/Swift_Programming_Language/Declarations.html#//apple_ref/
> doc/uid/TP40014097-CH34-ID545
>
> Nicolas
>
>
> On Thu, Feb 16, 2017 at 8:55 PM, David Sweeris via swift-evolution <
> swift-evolution at swift.org> wrote:
>
>>
>> > On Feb 16, 2017, at 11:27 AM, Sean Heber via swift-evolution <
>> swift-evolution at swift.org> wrote:
>> >
>> > Doesn’t this break down if you can pass a reference as a parameter to a
>> pure function? If that’s not allowed, I guess I must have missed it. Also
>> this seems to require the function has a return value. I suppose generally
>> a pure function without a return value wouldn’t make much sense - unless
>> you pass it a reference.
>>
>> If it mutates whatever the input is referencing, it would have a
>> side-effect which makes it "not pure" (for my understanding of what “pure”
>> means).
>>
>> - Dave Sweeris
>> _______________________________________________
>> swift-evolution mailing list
>> swift-evolution at swift.org
>> https://lists.swift.org/mailman/listinfo/swift-evolution
>>
>
>
> _______________________________________________
> swift-evolution mailing list
> swift-evolution at swift.org
> https://lists.swift.org/mailman/listinfo/swift-evolution
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20170216/5e826628/attachment.html>


More information about the swift-evolution mailing list