This is all well and fine, but feels like a lot of words to say "it's a matter of definition". The question is what definitions will be useful and what propert

This is all well and fine, but feels like a lot of words to say "it's a matter of definition". The question is what definitions will be useful and what properties you gain or give up. Being a partial function is a perfectly acceptable trade-off for mathematics, but perhaps it makes it difficult to reason about programs in some cases. I suppose the aim of the article is to point out the issue is not one of soundness, which is useful — but I wish more emphasis had been put on the fact that it doesn't solve the question of what 1/0 should do and produced arguments with regards to that.