Ask HN: What would be your “perfect” programming language?

Post by MH15 » Mon, Sep 12, 2022, 10:22 PM UTC

0atman wrote: post #31

mattnewport wrote: post #22

Syntax like F# but with the ability to get performance like C++. Linear types seem to offer some hope of being able to have manual / non GC memory management in a functional programming language but I haven't really seen this done in a mature functional language. To really get good performance you probably need the ability to drop down and write more procedural style code in hot code paths and expose it with a functi…

Have you tried Rust? It checks a great deal of your boxes, don't be misled by the reputation of a "systems programming language"! I made a video explaining why rust is different here, if you're interested https://youtu.be/4YU_r70yGjQ

Post by adastra22 » Mon, Sep 12, 2022, 11:18 PM UTC

Sohcahtoa82 wrote: post #118

bheadmaster wrote: post #112

Earlier quoted context omitted.

I've worked with Python for years, and Go (golang) turned out to be everything I wanted Python to be. Admittedly, Go doesn't have enforced whitespace, but it has standardized code format, enforced by the `gofmt` tool, so in 99% of cases it looks as good as Python. The syntax is somewhat similar - there is a lot of type inference and duck typing, yet the type system is still static (which removes a majority of type er…

Go also has something other language lack... An adorable mascot. ;-)

Post by ivmoreau » Mon, Sep 12, 2022, 11:44 PM UTC

Post by ModernMech » Tue, Sep 13, 2022, 1:45 AM UTC

AnimalMuppet wrote: post #111

almostarockstar wrote: post #67

Earlier quoted context omitted.

> - Terminating. All programs terminate. How are you side stepping an NP-hard issue like the halting problem?

Also, how do you make servers and embedded systems?

Post by hyperswine » Tue, Sep 13, 2022, 1:58 AM UTC

WithinReason wrote: post #40

cm2187 wrote: post #36

To me what matters the most isn't the language but the ecosystem: - versatility: create desktop apps, mobile apps, websites, CLI - quality of IDE / tooling - lots of libraries to deal with all sort of corner problems - lots of knowledge I can google - if used professionally: lots of talents available For the language itself, I only really care about one thing: statically typed, just because it eliminates all sort of…

- good quality standard library - good developer tooling, e.g. a language server - This is not yet possible, but a good optimiser which can turn an abstract representation of the code into optimal code for a given hardware (CPU or GPU). Currently we are far from this, there is probably a 10x improvement that current compilers can't achieve. See for example a FizzBuzz implementation achieving ~10x throughput improveme…