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?
-
-
Disagree! This is like desiring a universal and principled spoken language. People have tried creating such a language (Esperanto, Lojban, etc.), but it always fails, because human beings *prefer* quirky and arbitrary languages. Arbitrariness is expedient!
-
The more "axiomatic" a programming language strives to be, the more of a Turing tarpit it becomes. Aliens would probably be familiar with the lambda calculus and SK combinators, but they certainly wouldn't program in them directly.
Kraj razgovora
Novi razgovor -
-
-
UE5 replacing C++ with
#Golang confirmed! -
More like Haskell, Idris or Coq :P
Kraj razgovora
Novi razgovor -
-
-
spoken languages are full of quirks, arbitrarity yet they’re very effective means of communication. A good PL must embrace the nature of our hw architectures and the nature of how the majority of the programmers think, both are accidental.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
I think there's a strong possibility even all that wouldn't be common. Biology is capable of amazing things we can't do, maybe there is a way to reach an advanced state without ever leaving your "fuzzy" world for our "rigid" one
-
*leaving their "fuzzy" world
Kraj razgovora
Novi razgovor -
-
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
I like to think there might be a possibility we can program in fixed points, limit cycles and attractors of complex non-linear systems some day. Maybe that's where NNs are going, idk.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
If the goal of that HLL is to be universal and principled, that would have to be traded off against other goals such as more productivity, performance, compilation time, simplicity, etc. No matter how principled a language is, it does not exist in a vacuum.
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.