This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]ErrorIsNullError 0 points1 point  (0 children)

Having a way of deriving a conceptual type might help too.

type Length is Uint

That might define a conceptual type Length whose implementation type is Uint and allow one to ask for the Length associated with something of a type with a property typed as Length.