+1 from me also, from a newbie's perspective having a verbose syntax available lowers the barrier to entry. On May 21, 2011 4:10 AM, "Nathan Clemons" <nat...@livemocha.com> wrote: > I am very much in favor of this. The current spaceship operator is just > confusing, hands down. collect and search would be much nicer. > > -- > Nathan Clemons > http://www.livemocha.com > The worlds largest online language learning community > > > > On Fri, May 20, 2011 at 1:20 PM, Randall Hansen <rand...@puppetlabs.com >wrote: > >> http://projects.puppetlabs.com/issues/7606 >> >> The spaceship operator: >> >> User <| group == sysadmin or title == luke |> >> >> Is relatively easy to type but, if you don’t know it, very hard to >> read. We should consider a word-based syntax, e.g.: >> >> collect User { group == sysadmin or title == luke } >> User search { group == sysadmin or title == luke } >> >> Please comment on the ticket or reply here, whichever you prefer. >> >> Thanks! >> >> r >> >> P.S. This is in response to feedback from my "Improving the Puppet >> DSL" session at Puppet Camp EU, 2011. This ticket isn't a promise we >> will take action, but we could very much like comment and discussion >> from you good people. >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Puppet Users" group. >> To post to this group, send email to puppet-users@googlegroups.com. >> To unsubscribe from this group, send email to >> puppet-users+unsubscr...@googlegroups.com. >> For more options, visit this group at >> http://groups.google.com/group/puppet-users?hl=en. >> >> > > -- > You received this message because you are subscribed to the Google Groups "Puppet Users" group. > To post to this group, send email to puppet-users@googlegroups.com. > To unsubscribe from this group, send email to puppet-users+unsubscr...@googlegroups.com. > For more options, visit this group at http://groups.google.com/group/puppet-users?hl=en. >
-- You received this message because you are subscribed to the Google Groups "Puppet Users" group. To post to this group, send email to puppet-users@googlegroups.com. To unsubscribe from this group, send email to puppet-users+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/puppet-users?hl=en.