From: lars@greiz-reinsdorf.de
To: ruby-core@ruby-lang.org
Subject: [ruby-core:90135] [Ruby trunk Bug#15357] Unify proc{} and lambda{}.parameters
Date: Wed, 28 Nov 2018 20:01:15 +0000 (UTC) [thread overview]
Message-ID: <redmine.issue-15357.20181128200114.429e14743dca50ae@ruby-lang.org> (raw)
In-Reply-To: redmine.issue-15357.20181128200114@ruby-lang.org
Issue #15357 has been reported by larskanis (Lars Kanis).
----------------------------------------
Bug #15357: Unify proc{} and lambda{}.parameters
https://bugs.ruby-lang.org/issues/15357
* Author: larskanis (Lars Kanis)
* Status: Open
* Priority: Normal
* Assignee:
* Target version:
* ruby -v: ruby 2.5.3p105 (2018-10-18 revision 65156) [x86_64-linux]
* Backport: 2.4: UNKNOWN, 2.5: UNKNOWN
----------------------------------------
The current implementation of Proc#parameters [differentiate between lambda? true and false](https://github.com/ruby/ruby/blob/49cd16bfaf4f03885058ce748119bc8ea2de735a/iseq.c#L2800).
This is presumably due to the fact, that [procs use tricks](https://ruby-doc.org/core-2.5.3/Proc.html#method-i-parameters) to apply arguments differently than lambda and methods.
Unfortunately `proc{}.parameters` states all `:req` parameters as `:opt`, so that these both types of parameters are not distinguishable.
This information loss leads to the situation that two different proc signatures return an equal parameters list, but behave differently:
```ruby
pr = proc{|a,b=2| [a,b] }
pr.parameters # => [[:opt, :a], [:opt, :b]]
pr.call(:a) # => [:a, 2] # :a is interpret as the first parameter
pr = proc{|a=1,b| [a,b] }
pr.parameters # => [[:opt, :a], [:opt, :b]]
pr.call(:a) # => [1, :a] # :a is interpret as the second parameter
```
That means that the current return values of `proc{}.parameters` are not suitable to build wrapper or proxy objects for a proc.
In Eventbox I use the workaround to pass the proc to `define_method` and [query the method parameters instead](https://github.com/larskanis/eventbox/blob/3bcbc30096c6003e96d41c6496c781dfc90ac36a/lib/eventbox/argument_wrapper.rb#L10-L17).
That way the list of parameters can be retrieved including `:req` and `:opt` differentiation, so that a wrapper proc can be built.
The application of argument assignment tricks are a property of the Proc object, but not a property of single parameters.
The property of the Proc object is already readable through `Proc#lambda?`, so that there's no need to apply this property to `Proc#parameters` as well.
My proposal is to unify `proc{}.parameters` and `lambda{}.parameters`, so that `proc{}.parameters` returns `:req` arguments as well.
--
https://bugs.ruby-lang.org/
next parent reply other threads:[~2018-11-28 20:01 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <redmine.issue-15357.20181128200114@ruby-lang.org>
2018-11-28 20:01 ` lars [this message]
2019-08-28 2:12 ` [ruby-core:94625] [Ruby master Feature#15357] Proc#parameters returns incomplete type information merch-redmine
2020-01-14 10:11 ` [ruby-core:96846] " lars
2020-01-14 13:21 ` [ruby-core:96855] " eregontp
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-list from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.ruby-lang.org/en/community/mailing-lists/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=redmine.issue-15357.20181128200114.429e14743dca50ae@ruby-lang.org \
--to=ruby-core@ruby-lang.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).