[Question]Add support for yield and block type annotations

[kimdj2]

First of all, thank you for starting this interesting project!

While testing various scenarios, I noticed that t-ruby currently does not support parsing and type-checking yield expressions and block type annotations.

For example....
I've written some abstract example code to illustrate the expected behavior. I would like to parse block types and the return values of yield expressions as shown here.

Currently, yield raises an error unless the return type is void, and it seems that block type annotations are not supported at all.

def hello_world: Integer
  return calculate { |n| n + 3 }: Integer -> Integer
end

def calculate: Integer
  yield(7)
end

Since this is a critical feature for Ruby's idiomatic block-based programming patterns, could you please take a look?

Current Status

I investigated the codebase and found

Partial Support

• Scanner recognizes yield as a keyword token (scanner.rb:57)

Missing Implementation

• Parser: No handling of :yield tokens in expression_parser.rb or statement_parser.rb
• AST: No Yield node type defined in ir.rb
• Type System: No block type annotation syntax (RBS-style { (T) -> R })

Questions

1. Is block/yield support planned for a future milestone?
2. Would you accept a PR implementing this feature?
3. Should t-ruby follow RBS block syntax exactly, or define its own syntax?

[yhk1038]

Hi, @dfl.
Thank you for supporting.

Please send PR for your commits.
Then we can talk about that on comments thread.
And also, I'll put your pr into project#1

It's ok your pr is not completed, i can stand until it could be done.

Thank you.

[yhk1038]

It has been developed by PR #39 #38 .
And discussion is on going at #41 .