3 ms·
I’m not super familiar with Zig specifically, aside from watching some of Andrew’s talks and coding streams. But this thought process is not a Zig only concept.
by throwaway17_17 5y ago
I’m not super familiar with Zig specifically, aside from watching some of Andrew’s talks and coding streams. But this thought process is not a Zig only concept. As far as I know, the explicit ‘operators’ that are provided with Zig are guaranteed to be a low-level construct (ideally implemented at the ISA level) which are made visible to users of the language in standard ways, i.e. infix arithmetic operators. When overloading of these operators is allowable that guarantee goes out the window. There is a fundamental difference at the generated code level between a function call resulting from a use of ‘’ to multiple two random matrices and a use of ‘’ to multiple two 32 but integers. Further, as I understand it, Zig guarantees that anything that allocates memory does so explicitly and anything that calls a function does so explicitly. The very concept of operator overloading is incompatible with such a guarantee. So, I think given the implied goal of explicit is better, it makes sense that a flat rejection of operator overloading is the broad view.
- xfer 5y agoSo zig doesn't support 64bit arithmetics on 32/16/8bit architectures? What about division? Quite a few hardware don't support division( https://community.arm.com/developer/ip-products/processors/b/processors-ip-blog/posts/divide-and-conquer https://community.arm.com/developer/ip-products/processors/b...). > The very concept of operator overloading is incompatible with such a guarantee. Why would operator overloading allocate memory? The memory is already allocated(by the user) when you call with the operands.
- dinglejungle 5y ago> Why would operator overloading allocate memory? What if I wanted to overload the + operator to concatenate strings?
- xfer 5y agoYes that was poorly thought out. I realized it after i commented. There is definitely some merit in being puritanical about not having any allocations in operators.