Number things are a bit wonky

[ndmitchell]

subtract is not flip (-).

^^ seems a little redundant normally to me, and especially in this new world.

[vincenthz]

I'm not sure about subtract overall; probably make sense not to export, I have never use it before..

for the power functions, it currently is a bit tricky. I don't think it's possible to get away from exposing the different ones.

[ndmitchell]

Subtract is useful to get around -1 which is both the subtraction section and an Int literal. It's worth having and should match -.

For power, I rarely use any and the Haskell ones confuse me. But I don't really have and strong opinion.

[vincenthz]

Just removed subtract, never used, and seems completely trivial to write where needed

I agree about power, need to refine the type and make it less confusing.

[snowleopard]

I hope we can use this issue for a general discussion on Number. (Starting another issue seems wrong.)

In Foundation things are generally named as they are in Prelude: String, Eq, Array, etc. Yet Number is not Num. What's the reason for this? I find it a bit odd.

I know Number is not exactly Num, but Foundation.String is not exactly Prelude.String either.

[vincenthz]

I'm open to suggestion and discussion on everything, but one of the reason why it's not Num is sadly Prelude.Num has to leak through foundation because a numeric literal is typed as a Prelude.Num a. This is why there's now Number so that Num can be present too.

[snowleopard]

@vincenthz Ah, I see, this is sad indeed :-(