Empty Tuple Method

[ParadaCarleton]

When Zeros or Ones gets an empty tuple as its only argument, perhaps we should return zero or one? This way functions that can be called on both arrays and numbers can be simplified, instead of having to special-case numbers.

[dlfivefifty]

I don’t understand. Shouldn’t it be a 0-dimensional Zeros / Ones?

One should never return a different type from a type constructor

[ParadaCarleton]

That's true. Maybe we could add a lazy_zero method with this behavior? (i.e. return Zeros for array arguments and 0 for number-like arguments.)