174

Why are there so many programming languages? And why are there still being so many made? I would think you would try to perfect what you have instead of making new ones all the time. I understand you need new languages sometimes like quantumcomputing or some newer tech like that. But for pc you would think there would be some kind of universal language. I'm learning java btw. I like programming languages. But was just wondering.

you are viewing a single comment's thread
view the rest of the comments
[-] demesisx@infosec.pub 2 points 1 year ago

It has been achieved by many different projects: The K framework is probably the closest to a universal language.

There’s also the possibility of formally defining code as an Agda spec which also allows that code to be converted to any other language without adding new bugs.

Then, you have category theory which is literally a universal language that describes ALL processes in a program.

Then you also have lambda calculus which does the same thing.

[-] gnus_migrate@programming.dev 2 points 1 year ago

I mean if youre going to think of it that way any Turing complete language fits the bill, but what I mean by universal is a language you would reach for to solve any problem you have and it would be better than any other language. It's not a computer science problem it's a software engineering problem.

this post was submitted on 04 Aug 2023
174 points (93.9% liked)

Programming

17026 readers
128 users here now

Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!

Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.

Hope you enjoy the instance!

Rules

Rules

  • Follow the programming.dev instance rules
  • Keep content related to programming in some way
  • If you're posting long videos try to add in some form of tldr for those who don't want to watch videos

Wormhole

Follow the wormhole through a path of communities !webdev@programming.dev



founded 1 year ago
MODERATORS