On 4/1/26 23:19, Stéphane Gros-Lemesre via Std-Proposals wrote:
> Hello,
> It is my first time posting here, I'm not sure I am following the proper process. Please let me know if I'm doing this wrong.
>
> I wanted to float here this idea, see if there would be interest.
> The idea is providing an extension mechanism for std math functions.
>
> The idea is presented here: https://github.com/StephaneGrosLemesre/ExtensibleMath <https://github.com/StephaneGrosLemesre/ExtensibleMath>
>
> Or in the attached pdf.
>
> Please let me know what you think,

Sounds plausible, in general.

The concepts seem overly complicated and have odd subsumption relationships.
Should they have user-visible names?
Can you define them to have the call check only (the calls are
syntactically distinct) and not anything about "not the other conccept"?

Jesn