an age is a nonnegative duration where one endpoint is constrained to be a birthday. even birthday could be abstracted. couldn't a bottle of wine have an age?
this enables the query you care about ageof(person, onday)
i like to think about types, not as isomorphic to some tuple but as the package of methods they support
interfaces are more important than classes, is the pithy exposition
this enables the query you care about ageof(person, onday)
i like to think about types, not as isomorphic to some tuple but as the package of methods they support
interfaces are more important than classes, is the pithy exposition