Hi Tomsy, Brad, all, There two languages called Single Assignment C, but there's only one SAC that features "with-loops". ;-)
There is a fundamental difference between with-loops and anything in Chapel in the sense that SAC is a purely functional language (despite its C-like appearance). Consequently, with-loops are so-called array comprehensions: they construct an array "value". That value has certain properties like rank, shape and a function from the corresponding index domain to a value domain. Such abstract values may or may not materialise in memory. This is part of the declarative nature of SAC. The term "loop" in "with-loop" might be misleading as there is actually no looping involved. Since Chapel is an imperative language, Chapel's domains are rather index set specifications that can be used to declare arrays and to define loop structures to fill previously declared arrays. Declarations of and operations on arrays, however, are independent of each other. For more information on with-loops I can recommend the website: http://www.sac-home.org/ and/or the following papers: https://staff.fnwi.uva.nl/c.u.grelck/publications/2012_CEFP11_sac.pdf https://staff.fnwi.uva.nl/c.u.grelck/publications/2006_IJPP_sac.pdf In essence, with-loops are not better/worse than the Chapel constructs, but rather reflect a different philosophy towards array programming, namely a declarative one. Best regards, Clemens On 5/27/15 11:30 PM, Brad Chamberlain wrote: > Hi Tomsy -- > > (One source of confusion is that there are two languages named SAC, > unfortunately. I'm guessing that the one you're referring to is the one > by scholz, Grelk, et al). > > At a sniff, I'd say that Chapel's domains, forall loops, and iterators > provide a very similar (and ultimately, probably richer) notion as SAC's > with loops, but rather than making the full subsumption argument, I want > to echo Michael's question: Are there specific patterns in their with-loop > approach that you're most interested in seeing the Chapel equivalent of? > > Thanks, > -Brad > > > On Wed, 27 May 2015, Michael Ferguson wrote: > >> Hi - >> >> Could you supply a link or something to documentation of the with loop >> in SAC - or an example? >> >> Thanks, >> >> -michael >> >> On 5/27/15, 6:02 AM, "Tomsy Paul" <[email protected]> wrote: >> >>> i have come across with the "with loop" in SAC. I would like to know >>> whether this loop is something new from chapel point of view? or is it >>> possible to realize it using forall or something similar? >>> >> >> ------------------------------------------------------------------------------ >> _______________________________________________ >> Chapel-developers mailing list >> [email protected] >> https://lists.sourceforge.net/lists/listinfo/chapel-developers >> > ------------------------------------------------------------------------------ > _______________________________________________ > Chapel-developers mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/chapel-developers -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 Computer Systems Architecture Group F +31 (0) 20 525 7490 Office C3.105 staff.fnwi.uva.nl/c.u.grelck ---------------------------------------------------------------------- ------------------------------------------------------------------------------ _______________________________________________ Chapel-developers mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/chapel-developers
