On Thu, Mar 20, 2008 at 05:06:00PM +0100, TSa wrote: > BTW, do we have a unary multiplikative inversion operator? > That is 1/ as prefix or **-1 as postfix?
Well, 1/ looks like a pretty good prefix. :) Except it's not really first class. This ain't Haskell... As for **-1, I'd suspect that of being more approximative than the corresponding division on some architectures. > Perhaps .inv as method? I imagine most non-mathematicians would go more for .recip or some such. > Do we have .neg for additive inversion? We currently have $num.prefix:<-> which is admittedly a bit unwieldy. But it's difficult to extend that syntax to reciprocal, since $num.infix:</>(1) doesn't work because the args are in the wrong order. If someone *did* define prefix:<1/> then you could say: $num.prefix<1/> though that probably screws up precedence somehow. > But you can't mix the two concepts! Indeed, to the first approximation, the parser pays no attention to the types, and multiple dispatch pays no attention to the syntax. Larry