そうですね

8:43 AM

あと、ラベルマッチングは末尾クロージャの扱いとか、可変長引数の扱いとかの仕様もあるので、結構複雑で、既存実装を型推論エンジンの中で問題として解かせるようにする改修の実装が大変そうです。

8:45 AM

8:46 AM

末尾クロージャは、渡す引数のクロージャにはラベルがついてないけど、受け取る関数側にはラベルが付いているので、マッチングルールが例外処理されていてややこしくて、そこに複数末尾クロージャの仕様が入って問題が発生したので SE-0286 で仕様が直された事があります (edited)

8:46 AM

ラベルマッチングの仕様がそもそも文書化されていないのに、ここだけ急に仕様変更が形式的な審査手順を踏んだのでなんか妙な感じでした。

8:47 AM

変更前後で互換性問題が生じるのでまあ適切ですけど。