実行時の動的な表現は無いけど

4:13 AM

C++のテンプレートは同じ事ができてる気がする

4:14 AM

Altenative Consideredの

4:14 AM

We could theoretically address the verbosity problem in its full generality and without introducing new type system features by allowing return types to be inferred, like C++14's or D's auto return types: func jsonBlob() -> auto { ... }

4:15 AM

あーまあ真の型がテンプレートとしては見えないけど展開されちゃうからfoo1()とfoo2()が相互に互換できたりするかも？

4:15 AM

でもまあ実装側から総称型が決まるって意味では似てます