News for hackers. Stuff that matters.
Re:The Two Cultures of Mathematics (2000) [pdf] by ukj on Monday April 26, 2021 @09:06AM (#26942101)
All notations (programming or Mathematical) are just different ways of expressing computations.

All notations have trade-offs at the level of semantics making certain operations more difficult to express (what programmers refer to as 'the expression problem')

That's the entire shpiel of reification/first-class citizenships/semantics of programming languages.

Instead of getting into fanboi-ism of 'my language is better than your language' perhaps approach the problem from first principles (design): what is "IT" that you want to talk about, reason, express and manipulate in your program?

That dictates the sort of language you need to solve the problem that you are trying to solve.

https://en.wikipedia.org/wiki/First-class_citizen https://en.wikipedia.org/wiki/Reification_(computer_science)

There are no comments on this comment yet.