Jula allows it, initially only defining the integer division operator for non-zero divisor. That default changed due to a (at that point) lack of syntactic suga

Jula allows it, initially only defining the integer division operator for non-zero divisor. That default changed due to a (at that point) lack of syntactic sugar and type-inference to not make it a massive hassle. Edit: It's called a partial function, and I confused Julia with Pony. The former might be able to express it, the latter can handle it in some way, but I'm not familiar with either type system.