Making the constants typed would render them useless/hard to work with more often than not. See also blog: Constants.

This will break the go1 promise of compatibility, so it's not something that can be changed before an hypothetical go2. As explained in the blog post linked above, having all the math constants live in the same space (the space of untyped numbers) has many advantages.

Closing this, since it was brought up many times in the past and I don't think making the constants typed was ever seriously considered.

@ALTree thanks for the explanation!

@cznic you say that making smth like MaxInt64 of type int64 would render it useless or hard to work more often than not. That means, you have multiple examples in mind. Could you please bring at least one, where the type would make this constant hard to be used? A genuine question. Thank you!

Eg. https://play.golang.org/p/uiosl9s4h0

Thanks, but you misunderstood. I was referring to exactly the constant i mentioned in my issue:

Could you please bring at least one, where the type would make this constant hard to be used?

Well, MaxInt64 being typed, for example, would make it harder to explain why some constants are untyped while others are not : )

I understand. Still, the example of @cznic shows that an untyped constant allows to be less explicit and some magic starts to creep into code — exactly the sort of things Go tries to avoid usually. But yes, you cannot please everyone all the time...

I was referring to exactly the constant i mentioned in my issue:

The issue title is "make the constants typed". Anyway: https://play.golang.org/p/UoEmbimvv3

BTW: The example does not make sense, but the point is comparing typed constants no longer works across types.

@cznic yes this is what I suspected: I see no point in untyped math constans in real world usage. Even the example with uint8 is something I'd prefer not to work like that. So I'm fully ok with this not being fixed ever. I'm just still not convinced that it is a "feature" and tried to understand where's the flaw in my thinking.

Thanks everyone!