Go, Rust, D

Which C replacement has what it takes to shock the world and fork() my anus??

Python

C++

asm.js

jQuery

C++

pascal

Idris, and I am not even memeing
Simple yet powerful type system? Check
- Dependent types? Check
- Higher Kinds? Check
- Parametric polymorphism? (via type variables) Check
- Typeclasses? (adhoc polymorphism + interfaces + prolog-style unification -- rust also has something like that with its traits) Check
- Type inference? Check
Compiles to C and Javascript? Check
Monad support? Check
Pattern matching and ADTs? Check
Buggy as fuck implementation? Check

https://en.wikipedia.org/wiki/ATS_(programming_language)

>>9
CoC > LF

>>9
This looks very interesting. If it's still around when I'm in university (in 3 years) I'll check it out.

>>11
Try Idris instead.
How old are you?

>>12
No, I want to write useful software.
I'm 18.

>>13
ATS will not help you write useful software.
18? How are you not in uni yet?

Rust.

>>15
It will, it even offers advanced techniques for it.
I don't live in the USA.

>>16

it even offers advanced techniques for it

Not really, not any more than Idris at least.
Nor in Europe/China/Japan I presume. Which 3rd world country are you from?

>>17
Maybe, but you can't write a game in Idris.

I live in Switzerland, we finish the secondary education at ~19.
If you're male you have to go to miltary which adds a year and depending on your secondary education you'll have to append another year of school to catch up.

Go has GC and green thread bullshit so it's not a real C replacement. D has ``optional'' GC but it needs it to use the standard library or do anything advanced at all. Furthermore it's a clusterfuck like C++. Rust is the only viable candidate and it's probably the best thing since Adolf Hitler.

Go would be good if it were cleaner

how long until Google releases an Inferno ripoff to use its Limbo ripoff with?

Go was created for internal usage in Google and thus has a set of very specific functionalities. It was not the point to release it intothe academia. You should not coimplain that the custom tool written by Google fits the needs of Google.

>>21
It doesn't look like it fits the needs of Google. https://github.com/google/gvisor/blob/master/tools/go_generics/generics.go

The only realistic option is D without runtime/GC its called "-betterC" mode.
https://dlang.org/spec/betterc.html

>>23
Note:don't use the reference compiler use GDC or LDC, they're much more optimized. (If you don't need C-level speed, the reference DMD compiler is ok and has latest features.)

On second thought I take back what I said at >>11.
Learning this language would be dumb and doesn't align with my goals.
I'll learn the concepts if they make it into C++.
If they don't they probably weren't worth learning anyway.

Go is decent for 'microservices'/REST shit but writing complex software in it is a pain because lol no generics and if err != nil bullshit boilerplate. also, it has too much runtime to qualify as a C replacement. people usually use it as a Python replacement, but that only makes sense if you use Python for webshit, I'd rather kill myself that rewrite my more complex FIOC shit in Go.

Rust is interesting as it allows functional style while still remaining a low-level language. unfortunately, the mixture of compiler OCD and bad messages results in compilations that fail for difficult to understand reasons (especially if using macros or generics), the syntax is like C++ but worse and the community is a bunch of SJWs.

D is ok, I guess. it has cool metaprogramming features and is less obtuse than C++. GC'd stdlib is a shame, but at least it surpasses Java speeds (which are actually not bad now) while having a smaller runtime.

Discovered Zig today. There is some bullshit from its promoter e.g. https://andrewkelley.me/post/zig-already-more-knowable-than-c.html (especially not fond of forcing array index to be unsigned) and he disses recursion without mentioning tail-call optimization but at first glance it is looking interesting as a replacement for C.
D ``better C'' mode looks good too.
JAI looks nice but it currently is the Cartmanland of programming languages.
My purely prejudiced opinion on Rust is that it looks like a worse Sepples.

D is a trash language.
Just like >>27

https://en.wikipedia.org/wiki/Nim_(programming_language)

>>29
Trash language

>>1-sama already knew that the answer is FORTH !!

What the fuck is the point of Rust, D, etc.? They’re still way too low level. Might as well just use C++. Everyone knows C++ so you’ll actually be able to make real projects with it.

If I want to invest significant time into learning something new, I’d rather study something like Haskell which actually brings new ideas. That I can get excited about, because it offers something that’s just not merely a dolled up rehash of the old C UNIX segfaulty style of computing.

>>32
Rust code written without `unsafe` cannot segfault, my lad

Coq

>>33
You cannot write anything more than

Fibo.rs

without ``unsafe'' in Rust. Even a simple HTTP server requires it.