<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On Dec 11, 2015, at 6:38 PM, Kametrixom Tikara via swift-evolution <<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><meta http-equiv="Content-Type" content="text/html charset=utf-8" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">What exactly is the difference to just returning a sequence?<div class=""><br class=""></div><div class=""><div style="margin: 0px; line-height: normal; font-family: Menlo;" class=""><font size="1" class=""><span style="color: rgb(53, 86, 138);" class="">func</span> helloGenerator(name : <span style="color: rgb(195, 89, 0);" class="">String</span>?) -> [<span style="color: rgb(195, 89, 0);" class="">String</span>] {</font></div><div style="margin: 0px; line-height: normal; font-family: Menlo;" class=""><font size="1" class=""> <span style="font-variant-ligatures: no-common-ligatures; color: #35568a" class="">return</span> [</font></div><div style="margin: 0px; line-height: normal; font-family: Menlo;" class=""><font size="1" class=""> <span style="font-variant-ligatures: no-common-ligatures; color: #e82300" class="">"Hello"</span>,</font></div><div style="margin: 0px; line-height: normal; font-family: Menlo;" class=""><font size="1" class=""> name ?? <span style="font-variant-ligatures: no-common-ligatures; color: #e82300" class="">"World"</span></font></div><div style="margin: 0px; line-height: normal; font-family: Menlo;" class=""><font size="1" class=""> ]</font></div><div style="margin: 0px; line-height: normal; font-family: Menlo;" class=""><font size="1" class="">}</font></div><div style="margin: 0px; line-height: normal; font-family: Menlo; min-height: 16px;" class=""><font size="1" class=""><br class=""></font></div><div style="margin: 0px; line-height: normal; font-family: Menlo; color: rgb(88, 126, 168);" class=""><font size="1" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #35568a" class="">for</span><span style="" class=""> str </span><span style="font-variant-ligatures: no-common-ligatures; color: #35568a" class="">in</span><span style="" class=""> </span>helloGenerator<span style="" class="">(</span><span style="font-variant-ligatures: no-common-ligatures; color: #e82300" class="">"David"</span><span style="" class="">) {</span></font></div><div style="margin: 0px; line-height: normal; font-family: Menlo;" class=""><font size="1" class=""> <span style="font-variant-ligatures: no-common-ligatures; color: #587ea8" class="">print</span>(str)</font></div><div style="margin: 0px; line-height: normal; font-family: Menlo;" class=""><font size="1" class="">}</font></div><div class=""><br class=""></div><div class="">And if you want if lazy:</div><div class=""><br class=""></div><div class=""><div style="margin: 0px; line-height: normal; font-family: Menlo;" class=""><font size="1" class=""><span style="color: rgb(53, 86, 138);" class="">func</span> helloGenerator(name : <span style="color: rgb(195, 89, 0);" class="">String</span>?) -> <span style="color: rgb(195, 89, 0);" class="">LazyCollection</span><[<span style="color: rgb(195, 89, 0);" class="">String</span>]> {</font></div><div style="margin: 0px; line-height: normal; font-family: Menlo;" class=""><font size="1" class=""> <span style="font-variant-ligatures: no-common-ligatures; color: #35568a" class="">return</span> [</font></div><div style="margin: 0px; line-height: normal; font-family: Menlo;" class=""><font size="1" class=""> <span style="font-variant-ligatures: no-common-ligatures; color: #e82300" class="">"Hello"</span>,</font></div><div style="margin: 0px; line-height: normal; font-family: Menlo;" class=""><font size="1" class=""> name ?? <span style="font-variant-ligatures: no-common-ligatures; color: #e82300" class="">"World"</span></font></div><div style="margin: 0px; line-height: normal; font-family: Menlo;" class=""><font size="1" class=""> ].<span style="font-variant-ligatures: no-common-ligatures; color: #587ea8" class="">lazy</span></font></div><div style="margin: 0px; line-height: normal; font-family: Menlo;" class=""><font size="1" class="">}</font></div></div><div class=""><br class=""></div></div></div></div></blockquote><div><br class=""></div><div>Imagine reading images from a directory and returning them lazily. I don’t think anybody is arguing that you cannot implement it now with a special lazy collection (your version actually materializes the array fully first) but here’s how simple it could be:</div><div><br class=""></div><div>func readAllImagesInDirectory(path: String) -> GeneratorType<Image> {</div><div><span class="Apple-tab-span" style="white-space:pre">        </span>let imagePaths = listImagesInDirectory(path)</div><div><span class="Apple-tab-span" style="white-space:pre">        </span>return generator func generatorImage() -> Image {</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>for imagePath in imagePaths {</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>yield readImageAtPath(image</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>}</div><div><span class="Apple-tab-span" style="white-space:pre">        </span>}</div><div>}</div><div><br class=""></div><div>(Please forgive any errant syntax in my contrived example). Point is it could be a very fast/compact way to create generators; although it’s possible today.</div><br class=""><blockquote type="cite" class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><div class="">Seems like exactly the same, except it doesn’t need two new keywords nor revamping of SequenceType/GeneratorType</div><div class=""><br class=""><blockquote type="cite" class=""><div class="">On 12 Dec 2015, at 01:21, David Waite via swift-evolution <<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Looking for feedback on crafting a proposal adding generator functions to Swift. I understand this will likely be a very involved proposal at the language level, although I actually don’t know the complexity of the change within the Swift compiler itself.<div class=""><div class=""><br class=""></div><div class="">This would be a function which returns multiple values, which is converted by the compiler to a function returning a SequenceType<div class=""><br class=""></div><div class="">A very basic syntax would be to add generator as a modifier to func, and likely involve a new keyword ‘yield’ to differentiate from the flow control behavior of ‘return’.</div><div class=""><br class=""></div><div class="">So for example:</div><div class=""><br class=""></div><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;" class=""><div class="">generator func helloGenerator(name:String?) -> String {</div><div class=""> yield “Hello”</div><div class=""> yield name ?? “World”</div><div class="">}</div></blockquote><div class=""><br class=""></div><div class="">Would have the following expected usage:</div><div class=""><br class=""></div><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;" class=""><div class="">for str in helloGenerator(“David") {</div><div class=""> print str</div>// prints:</blockquote><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;" class="">// Hello<br class=""><div class="">// David</div></blockquote><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;" class=""><div class="">}</div></blockquote><br class=""><div class=""><div class="">And for those unfamiliar to these sorts of simple cases, would have equivalent behavior to the following code:</div><div class=""><br class=""></div><blockquote style="margin: 0px 0px 0px 40px; border: none; padding: 0px;" class=""><div class=""><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 45> </span>func helloGenerator(name:String?) -> HelloGenerator { </div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 46. </span> return HelloGenerator(name) </div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo; color: rgb(169, 169, 169);" class=""> 47. <span style="" class="">} </span></div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo; color: rgb(169, 169, 169);" class=""> 48. <span style="" class=""> </span></div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 49. </span>struct HelloGenerator : GeneratorType, SequenceType { </div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 50. </span> var position:Int = 0 </div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 51. </span> let name:String? </div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo; color: rgb(169, 169, 169);" class=""> 52. <span style="" class=""> </span></div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 53. </span> private init(_ name:String?) { </div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 54. </span> self.name = name </div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 55. </span> } </div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo; color: rgb(169, 169, 169);" class=""> 56. <span style="" class=""> </span></div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 57. </span> func generator() -> HelloGenerator {</div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 58. </span> return self </div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 59. </span> } </div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 60. </span> </div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 61. </span> mutating func next() -> String? { </div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 62. </span> switch position { </div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 63. </span> case 0: </div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 64. </span> position = 1 </div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 65. </span> return "Hello" </div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 66. </span> case 1: </div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 67. </span> position = 2 </div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 68. </span> return name ?? "World" </div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 69. </span> default: </div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 70. </span> return nil </div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 71. </span> } </div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #a9a9a9" class=""> 72. </span> } </div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo; color: rgb(169, 169, 169);" class=""> 73. <span style="" class="">} </span></div></div><div class=""><br class=""></div></blockquote>This syntax has at a bare minimum issues with generator closures and for a terse syntax for yielding over another sequence type within a generator function vs. using a loop. (possibly “yield in sequenceName”)</div><div class=""><br class=""></div><div class="">The interaction with the error system might involve disallowing throws from generator functions, or having the Element type be a Result<T> rather than T, as the GeneratorType next() method is not declared as throwing.</div><div class=""><br class=""></div><div class=""><div class="">This could pair well to make for-in loops more comprehensive, especially if C-style for loops are eliminated.</div></div><div class=""><br class=""></div><div class="">This would possibly be a first step toward a coroutine-based concurrency system, although I am not proposing that sort of usage or scope here. The goal would be to emit an object compatible with SequenceType</div></div><div class=""><br class=""></div><div class="">-David Waite (DW)</div></div>
<img src="https://u2002410.ct.sendgrid.net/wf/open?upn=UMghxGHOvTEcVGG3PKHzuJe-2F1jwKPcDcSNH0SiRhP154FpbHyH8LgfGq4t4pY0jlEzFyN3HG0284UFBybtPAVRsupOwEhsCN2pXeRkqc831KfClDufYK5Kl4WNqtWpBbjzIyzXRbhMZmZppGDt9RYzBk3yCacZhYgXUJQK4FGfP6ZgzUedIBjcHAlKZlb5Z5kMydnZo9wpG8pAM77QPtBU-2Bgl-2BMjyQGxgf-2FwNnwzxdc-3D" alt="" width="1" height="1" border="0" style="height:1px !important;width:1px !important;border-width:0 !important;margin-top:0 !important;margin-bottom:0 !important;margin-right:0 !important;margin-left:0 !important;padding-top:0 !important;padding-bottom:0 !important;padding-right:0 !important;padding-left:0 !important;" class="">
</div>
_______________________________________________<br class="">swift-evolution mailing list<br class=""><a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a><br class=""><a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br class=""></div></blockquote></div><br class=""></div>
<img src="https://u2002410.ct.sendgrid.net/wf/open?upn=1Ry8ov4zuU66O51YNcjYWY2OsnHz47cZjZ4sjBGk0IxbQ-2BjzsdPNCuLincv3quL98yGAQP6a4UXTK2OsEZkaXQ13XpJ7Xcg-2FcVyWl9ajn1s7PBRQfjU1gtpLbwFpbcaLwSNXKv9qhoogIPuCKLfNZt7y7xzQx4ena9LBG-2FVV5bkD7lCy7AynxrJxoM-2Bshl2wIy1OXiVyk4YgNs9rZcKH8g-3D-3D" alt="" width="1" height="1" border="0" style="height:1px !important;width:1px !important;border-width:0 !important;margin-top:0 !important;margin-bottom:0 !important;margin-right:0 !important;margin-left:0 !important;padding-top:0 !important;padding-bottom:0 !important;padding-right:0 !important;padding-left:0 !important;" class="">
</div>
_______________________________________________<br class="">swift-evolution mailing list<br class=""><a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a><br class="">https://lists.swift.org/mailman/listinfo/swift-evolution<br class=""></div></blockquote></div><br class=""></body></html>