1 ÷ 0 = 0

https://www.hillelwayne.com/post/divide-by-zero/

I tweeted a thing about why 1/0 = 0 is mathematically sound. Some people agreed, some people agreed with caveats, and some people called it bunk. A few people said it’s clear I don’t know real mathematics, because a real mathematician would never make such a mistake.

So in this post I’d like to clearly, formally lay out why it’s consistent to say that 1/0 = 0, why some of the common objections don’t apply, and what the real mathematicians say. Fair warning, this post is going to be a little more mathematically dense than my usual stuff. I’ve tried to make it clear but, well, math.

A post about why Pony's decision to make 1/0==0 true is a mathematically consistent, if a bit unusual, choice. Via Greg Wilson, who notes that gleam also does so.

(I've never heard of gleam before!

Gleam is a friendlylanguage for buildingtype-safe systems that scale!

The power of a type system, the expressiveness of functional programming, and the reliability of the highly concurrent, fault tolerant Erlang runtime, with a familiar and modern syntax.
)