On type functions

[victoroak]

On Sunday, 3 May 2020 at 11:23:42 UTC, Stefan Koch wrote:
> 
> [...]
> 

Have you looked at Zig's comptime and Nim type parameters. It 
looks like what you want.

One thing both Zig and Nim can do that I miss in D is dispatch on 
whether an argument is known at compile time like a format string 
without having to use a template parameter. Zig accomplishes both 
with comptime parameters [1] and having some way to compile time 
variables would be nice.

[1]: 
https://ziglang.org/documentation/master/#Compile-Time-Parameters