Introduce The article shows a way to use math equations to represent code's logical. Key ideas logical first Get readers to see the logical first, so prefer to keep a 'where' section to describe variables separately. Pure function conception I am thi…