I don’t think you got the perfect syntax. Being both implicit and order-based is just begging for mistakes. Your Grace~ operator is esoteric, making it quite impossible for a casual reader to understand what’s going on, and being just another unusual thing for the reader to keep in mind about the language. This sort of thing is slightly mitigated by tooling support (an IDE-like thing that reminds you of the order), but it’s generally a bad idea to depend on such tooling for sane operation.
Meanwhile, `A(x, y) = x * y + x` is only slightly more verbose, but extremely clear as it matches standard practice in mathematics and is easily familiar to programmers as well. I think it’s fairly unambiguously a superior syntax for use. Short and non-repeating is not all there is to life.
Meanwhile, `A(x, y) = x * y + x` is only slightly more verbose, but extremely clear as it matches standard practice in mathematics and is easily familiar to programmers as well. I think it’s fairly unambiguously a superior syntax for use. Short and non-repeating is not all there is to life.