Posts tagged "nttp"

Posts tagged “nttp” (3)

Compile-Time Data — When Values Become TypesMar 26 14.4K

C++20 lets values enter the type system. This is the gateway to dependent types — Pi types, Sigma types, and the calculus of constructions. The compiler becomes a staged computation engine.

--c++20 --type-theory --constexpr --nttp --compile-time --dependent-types

Compile-Time Strings and Parsing — Reading Text Inside the CompilerFeb 19 9.6K

String literals live at compile time. With the right tools, you can parse them, validate them, and turn them into optimized code — all before your program runs.

--compile-time-cpp --fixed-string --constexpr-parsing --nttp --string-literals

Templates — Writing Code That Works for Any TypeSep 12 7.2K

Templates aren't generics. They're a code generation system disguised as a type system feature.

--cpp --templates --generic-programming --nttp