Strong typing and physical units

[Paolo Invernizzi]

On Tuesday, 28 July 2020 at 11:04:00 UTC, Cecil Ward wrote:
> Of course, in C I used to do something like strong typing with 
> an opaque type achieved by using something like typedef struct 
> _something {} * type1; and then I had to do casting to get back 
> the real type, which was unchecked but it did prevent the user 
> from mixing up the types type1 and type2 say as they weren’t 
> assignment compatible.
>
> I would really like strong typing to be a built in feature. 
> Would anyone else support this?

Once upon a time, typedef was present and backed by the compiler, 
but nowadays you can find it in Phobos [1], but with some quirk 
...

[1] https://dlang.org/phobos/std_typecons.html#.Typedef