Think in Math, Write in Code

Re:Think in Math, Write in Code by thfuran on Thursday July 18, 2019 @04:00PM (#20473398)

> there are very specific algorithms for that, they don't look anything like a math formula

I'm not sure what you mean by that. I'd describe making a 3D game (engine) with rendering, collision detection, etc as probably one of the math-heaviest areas of programming outside of scientific computing or algorithm R&D.

[ Parent | on HN ]

Re:Think in Math, Write in Code by lonelappde on Thursday July 18, 2019 @04:07PM (#20473460)

Numerical solutions in computer programs look very different from the closed form symbolic theorems in math books.

[ Parent | on HN ]

Re:Think in Math, Write in Code by higherkinded on Thursday July 18, 2019 @10:56PM (#20475843)

I think it's pretty safe to assume that you haven't heard of ML language family and Hindley—Milner type system. At the lowest possible level, I mean, yes, numeric solutions are computed by the sets of instructions that are pretty distant from the mathematical level of abstraction. But in higher-level languages, everything remotely readable and reliable usually looks like formal math from the textbooks. I'd say that the representation heavily depends on what language you're using to write your programs, yes, though not everything looks like Algol 68 nowadays.

[ Parent | on HN ]

Re:Think in Math, Write in Code by kd0amg on Friday July 19, 2019 @10:47AM (#20479073)

Don't numeric solutions in math books also look very different from closed-form solutions?

[ Parent | on HN ]