Whatever language skynet is written in. Fuck this world!

I'd say it still has a bit to go to take over the world, though. It's virtually unused in OS and embedded systems, for instance. And even though there is ClojureScript, it's not widely used in web programming.

I've been thinking about this and you know I can't find one?

Something that was a mashup of Lisp, Python, and Ruby. Something where you could write a quick-n-dirty implementation in Ruby, but then clean it up and turn on strict mode and it would look more like Python (minus some unnecessary punctuation). Also every statement would have an S-Expression equivalent, so you could write macros.

C# - if CSharp can manage to be independent from .NET and compile directly to machine code instead of IL, it could potentially take over the world. However, the fact that .NET is now natively running on Linux and Mac is a good start.

C# architecture is very clean and extensible. Its like JavaScript + Java + C++ but as powerful as python.

Haha, that is true, but I know at least that Linux is not written in lisp.

Performance, memory footprint, compile time, executable/runtime size and compatibility, and similar factors are entirely irrelevant.

I really feel like I use Ruby for web development despite all these issues already, so I guess that's my answer. On the other hand, I mostly use it for the community/vision/web dev support via Rails. I think the ideal language is one that has a helpful type system and compiler, along with a helpful IDE that everyone uses.

For any language to really work globally, I think it always needs to have first class popular support. I've never been one of those people who wants to use my favorite language in the wrong environment just because there's a tool that lets me do it. I want to be working with the language that's going to get the fastest updates, have most native API features, have the most Stack Overflow answers and DEV discussions, etc.

None.

(1) No one should be forced to unilaterally use a language they despise the syntax of - for every language, there is someone who has objective reasons to hate the syntax, behavior, or design of it.

(2) Every language is uniquely suited to a particular set of use cases. No language is ubiquitous in its design. Python is ill-suited for systems programming, but C is ill-suited for rapidly designing good interfaces. FORTRAN is superb for scientific computing and advanced math, but it could never fill the shoes of Ruby in web application design; and Ruby could never take FORTRAN's place in scientific computing and advanced math.

I don't want to fall into the trap of presuming my preferences are superior to everyone else's, so I hope no language ever "takes over the world". I'd rather use the ones I know and like (C++, Python, C, FORTRAN) for the tasks they are best suited, and leave the rest alone for the enjoyment and productivity of others.

Clojure it's very lisp. It's the future given how fast machine are today.

Clojure has been my language of choice for hobby projects for a while now, but I've been slowly starting to love Elixir. Also, I use F# as much as possible in my day-to-day .NET development.

If I could have Clojure's macros, OTP, and F#/OCaml's type system, F#'s type providers... that would probably be an ugly language, but I'd love it!

Instead of taking over the world, I'd love to see programming languages could come to a consensus in terms of the syntax. At least something like for while loop - while loop is the same in almost all kinds of languages.

A version of haskell that has dependent types. It would be nice to not have to write unit tests, because your types proof the correctness of your program

ArnoldC

In an ideal world, i'd like to have the simplicity of python combined with a type system along the lines of haskell or scala, and the safety of rust. altough, when choosing a language that exists right now, i'd probably go with kotlin (rust being to difficult to use in some areas, and python lacks proper compile checks, and kotlin has at least some levels of null safety)

JavaScript ... Oh wait NVM. It already took over the world.

I'd go with... Python.

I'm tempted by Golang but I think python just takes it for simplicity, lack of boilerplate, and just well.. love

Python, a lisp dialect? Now use!

I'm going to say JavaScript and then proceed to run away.

Javascript!... oh, wait... 🤔

Plain English. So that I could write something like 1+1= and get 2, or 'calculate distance from my location to the moon' and get a sensible answer. And English just happens to be the easiest to learn and most widely used language in the world (in my humble opinion).

If my answer was restricted to programming languages I'd pick javascript. After trying some 6 languages I ended up preferring it for ease of use. Tried python, Java, c++, c#, ruby but preferred js as closest alternative to English. Easy to use and you can build an interactive GUI with it (html+css+js = web app, similar to windows forms app but works anywhere, like java).

Haven't tried lisp yet.

None, it would be awful to learn it/work with it, it would have to have a huge degree of constructs and abstract layers to be good at that many things.

But I hope it will have the Engineering productivity of Go.

I would like to see Javascript abdicate its throne. But there is more work to do before that can happen, or something worse might fill the power vacuum. :-)

Brainfuck. Nothing else.

Python is already such a world for data science :)

golang, rust, and elixir

I want Rust to be Haskell(have Haskell's syntax), or Haskell to be Rust(have cargo, similar performance, similar community).

Performance, memory footprint, compile time, executable/runtime size and compatibility, and similar factors are entirely irrelevant.

But why? Performance, compatibility and compile time are part of ease of use.

So in real life, Rust, because of static analysis, module ecosystem, community, and the above. I can't honestly say the syntax is bad, and some of the constructs are really good. Most importantly, the "personal taste" is achieved by me not feeling the shame of expensive abstractions while still using semantic and ergonomic abstraction.

But if laws of physics were broken, probably Haskell, since I never tried Lisp.

It's difficult if you want to include the candidates that suitable for kids' education. You certainly want to give up some deep design philosophy if it can do its job well. Without that concern, I vote for OCaml for many same reasons you stated above. I'm an advocate for FP as well. Haskell is not perfect option because of its insists on pure functional approach. OCaml, on the other hand, can be more permissive for other programming paradigms.

Javascript