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.
End of conversation
New conversation -
-
-
UE5 replacing C++ with
#Golang confirmed! -
More like Haskell, Idris or Coq :P
End of conversation
New conversation -
-
-
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.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
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
End of conversation
New conversation -
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
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.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
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.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.