Interval measure property: Length of an interval with numeric bounds

[dmitrii-ubskii]

This property of Interval is sorely missed when attempting to find e.g. mode over the interval in an IntervalDict.

[AlexandreDecan]

Hello,

Thanks for the PR! I'm afraid I won't merge it because it somehow "breaks" the genericity of our Interval since this method is specific to number-based intervals. See #42 for more details.

Notice however that I'm currently considering adding an easy way to ease extending Interval at runtime (i.e., a way to bind new methods dynamically).

[dmitrii-ubskii]

I'd argue that this change doesn't break generalizability, since the library still behaves the same with non-numeric intervals. This is a simple QoL improvement for a common use-case. In fact, this will provide an obvious customization point for a user-extended Interval.

I don't think requiring users to reimplement this every time is a good approach.