In Scala and Idris. Haskell has no direct support, but I believe you can get quite close with rank-2 types.
Also, typing is not the end of all the things.
Most languages I listed have much stronger metaprogramming capabilities than C++. Scala, Rust, Template Haskell macro systems are superior to C++ templates.
In Scala and Idris. Haskell has no direct support, but I believe you can get quite close with rank-2 types.
Also, typing is not the end of all the things. Most languages I listed have much stronger metaprogramming capabilities than C++. Scala, Rust, Template Haskell macro systems are superior to C++ templates.