言語のメタレベルを上げないときついと思うよ。

12:45 PM

それこそ、言語の仕組みの上で Variadic Generics を可能にする仕組みを自作できるようなメタ度になるんじゃない？

12:46 PM

制御構文だって自作できないし。

12:46 PM

ちなみに reduce は for でもいいんだけど、

12:46 PM

ループの中だけ T が展開される

12:47 PM

ループ回るたびに別の型として実行される

12:47 PM

でも特殊化が難しそう、と思ったけどループばらすだけだから簡単か。