Date: Mon, 8 Jun 2026 13:19:00 +0100
On Sun, Jun 7, 2026 at 11:01 PM Sebastian Wittmeier wrote:
>
>
> While this is a powerful type theoretical feature, if you want to do something like it,
> I want to be able to convert arbitrary types into arbitrary types and convert member
> functions, too.
Instead of it wrapping the type in T as follows:
T< some_type >
It could do:
T< some_type >::type
This would give you a lot of control.
>
>
> While this is a powerful type theoretical feature, if you want to do something like it,
> I want to be able to convert arbitrary types into arbitrary types and convert member
> functions, too.
Instead of it wrapping the type in T as follows:
T< some_type >
It could do:
T< some_type >::type
This would give you a lot of control.
Received on 2026-06-08 12:19:13