Repository navigation
Untyped block args #1335
Description
AR::Base.scope accepts lambdas, but the type of the lambdas is difficult to describe in RBS.
class AR::Base
def self.scope: (Symbol, ^(*untyped, **untyped) -> void) -> void
endThe proc type means it can receive any argument and any keywords, while what we want is a proc is required but the type of its arguments is not checked. So, we want to introduce a new syntax for untyped args.
Possible syntax:
class AR::Base
# ...
def self.scope: (Symbol, ^(...) -> void) -> void
| (Symbol) { (...) -> void } -> void
# ?
def self.scope: (Symbol, ^(?) -> void) -> void
| (Symbol) { (?) -> void } -> void
# untyped
def self.scope: (Symbol, ^untyped -> void) -> void
| (Symbol) { untyped -> void } -> void
endAny other ones?
Activity
ParadoxV5 commentedon Jun 4, 2023
Can simply use
Procfor lambdas; this new syntax mainly benefits untyped blocksThis suggestion is uncomfortably similar to
(untyped) -> void. In fact, it conflicts with the possibility of making arguments’ round parentheses optional (if there’s such a possibility).soutaro commentedon Jun 6, 2023
I'm going to implement it in
(?) -> voidsyntax....would be confusing because Ruby has similar syntax with totally different semantics.untyped -> voidis too similar to normal positional argument.