Get the latest tech news

Compile-Time Dependent Types

It seems inevitable that compile-time dependent types will come to systems programming. C++ has templates and constexpr.

None

Get the Android app