Proposal: First class types (at compiletime)

[Paul Backus]

On Friday, 21 July 2023 at 11:53:23 UTC, Commander Zot wrote:
> but without having them, we still have to write recursive 
> template metaprogramming for things that would be expressed 
> better with normal functions.
> yes, it wouldn't remove old code, but it would be a huge win 
> for any new code in my opinion.

Following this design philosophy is how you end up with C++.

What happens if you want to use "old code" and "new code" in the 
same project? Not only do you have to deal with both approaches, 
you have to write extra glue code to make them work together.