Giant template - changing types everywhere

[Cecil Ward]

On Friday, 14 July 2023 at 05:03:31 UTC, Cecil Ward wrote:
> On Friday, 14 July 2023 at 01:34:54 UTC, Steven Schveighoffer 
> wrote:
>> [...]
>
> The way I can see it going is a giant template encompassing 
> pretty much the whole file. Does that mean that the caller who 
> calls my one public function does so by passing the type dchar 
> or wchar ? And then we generate the strings from that. It might 
> be rather more natural for the caller to pass one of the string 
> types into the template. That’s where I get rather more 
> confused, say caller calls
>
> Transform(dstring)(dstring str)
>
> or can they just do Transform( "str"d ) and it would work out 
> that the type is immutable dchar[] ?

Perhaps I should just make up a small example file with two 
functions in it to see if I can get the syntax right?