Here’s an exercise in separating fundamentals from conventions: if we held a technical summit with all of the galaxy’s advanced alien civilizations, what would we find we had in common, and what would we find inscrutable?
-
-
Now we compare programming languages. We’d find some low level constructs have developed very differently. Maybe they’d have balanced tertiary numbers instead of twos-complement and u-law fractional numbers instead of floating point. Our bitwise ops may have no analog.
Prikaži ovu nit -
So, let’s ask: what parts of programming would we have in common? We’d share the mathematical integers, and data structures analogous to Cartesian products (structs) and sums (unions), and functions with side effects, and pure functions as a special case.
Prikaži ovu nit -
We’d have transactions as a way of running concurrent operations atomically. We’d have most of Knuth’s algorithms in common (maybe they’d have some major breakthroughs we lack!)
Prikaži ovu nit -
The goal of a high level programming language is to be something that we and these alien civilizations could agree on as universal and principled, and free of quirks and arbitrarity.
Prikaži ovu nit
Kraj razgovora
Novi razgovor -
-
-
We already have several axiomatic systems, most notably ZF vs ZFC (as the axiom of choice is/has been controversial). It would be interesting to discover what axioms other intelligent species came up with.
-
I could never understand why some people would reject AC. It's equivalent to "Cartesian product of a collection of non-empty sets is non-empty". They must have a very weird intuitive concept of was a set is, if it does not satisfy this axiom.
- Još 5 drugih odgovora
Novi razgovor -
-
-
"mathematics", or something else? - https://arxiv.org/abs/0903.0340 - https://existentialtype.wordpress.com/2011/03/27/the-holy-trinity/ … -https://homotopytypetheory.org/
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
Perhaps music could also be a shared language
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
Code troll
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.