@Taketo Sano

この機構って他の言語でもあったりするんですか？

遅レスですが、 Haskell だとできますね。