Returnの方式の変更

[FineArchs]

What

従来のRETURN/BREAK/CONTINUE型を廃し、新しく例外機構を利用したreturn/break/continueの処理を実装します。

Why

• RETURN型が不要になることにより、returnのラッパーが取り出せてしまう問題が解決します。
  →solve ラッパーとしてのreturn,break,continueが残ってしまっている #237
  →solve valToStrへのtype 'return'の文字列追加 #268
• 相談：returnを含むifやevalの扱いについて #276 の「値を返す・返さない関係なく、return系は現在のスコープを破棄し親スコープに処理を移動する」が実現されます。
• 不正なコードである「関数定義ブロック外のreturn」、「ループ外のbreak/continue」にエラーを出すことができます。

Additional info (optional)

不正なコードである「関数定義ブロック外のreturn」、「ループ外のbreak/continue」にエラーを出すことができます。

・あくまで評価時のエラーになるため、実行時に評価されない位置にある不正return/breakはエラーになりません。
例：

loop {
 break
 return 1 //評価されない
}

・今回の実装だと「breakを含む関数」の存在が許容されることになります。
例：

@func(){
 break
}
loop {
 func() //breakとしてはたらく
}

これらは後々修正したほうがいいかもしれません。

[codecov]

Codecov Report

Patch coverage: 88.54% and project coverage change: -0.23 ⚠️

Comparison is base (556e3be) 88.92% compared to head (ecf6373) 88.70%.

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #278      +/-   ##
==========================================
- Coverage   88.92%   88.70%   -0.23%     
==========================================
  Files          19       19              
  Lines        2926     2947      +21     
  Branches      504      507       +3     
==========================================
+ Hits         2602     2614      +12     
- Misses        314      323       +9     
  Partials       10       10              

Impacted Files	Coverage Δ
src/interpreter/index.ts	89.47% <83.82%> (-1.16%)	⬇️
src/error.ts	96.87% <100.00%> (+2.13%)	⬆️
src/interpreter/util.ts	61.29% <100.00%> (ø)
src/interpreter/value.ts	100.00% <100.00%> (ø)

☔ View full report in Codecov by Sentry.
📢 Do you have feedback about the report comment? Let us know in this issue.

[syuilo]

throwはエラーが発生した時に使うことが想定されてそうだからアレかも
あとretrunするたびにErrorインスタンスが生成されるのはパフォーマンス上の懸念もあるかなと思いました(スタックトレースの収集コストとか)

[FineArchs]

throwはエラーが発生した時に使うことが想定されてそうだからアレかも

道具を想定されていない用途に使うのってあまり良くないんですかね・・・？