Hacker News new | ask | show | jobs
by adris 2077 days ago
Hi, I am the author.

> but we aren't writing math paper

It's not about writing math papers, it is about having making refactoring less error prone. Imo, the equals from math helps this cause and it iw worth it.

The new approach may seem harder because we have been programming for 40+ years with side-effects, tracking them ourselves. It is understandable.