Ark – A modern systems programming language
ark-lang.org
Ark – A modern systems programming language
1–10 of 55 posts
Re: Ark – A modern systems programming language
#2If all this is Rust with the syntax of go,
aw heck that's all I ever wanted anyway.
Re: Ark – A modern systems programming language
#3A comparison with Rust would be nice.
Re: Ark – A modern systems programming language
#4Not to be confused with Arc: http://arclanguage.org/
Re: Ark – A modern systems programming language
#5If all this is Rust with the syntax of go, aw heck that's all I ever wanted anyway.
wait, you don't like putting your List inside your Arc inside your Cell ?? ;)
Re: Ark – A modern systems programming language
#6If all this is Rust with the syntax of go, aw heck that's all I ever wanted anyway.
Although some bits of syntax are reminiscent of Rust, semantically it's not Rust in the slightest:
"Ark is not a garbage collected language, therefore when you allocate memory, you must free it after you are no longer using it. We felt that, as unsafe as it is to rely on the user to manage the memory being allocated, performance takes a higher precedence. Although garbage collection makes things fool-proof and removes a significant amount of workload from the user, it inhibits the performance we were going for."
https://github.com/ark-lang/ark-docs/blob/master/REFERENCE.m...
This is the usual false dichotomy that languages subscribe to, where they presume that manual and unsafe memory management is the only alternative to dynamic and safe memory management. But Rust's secret sauce is that memory management is static and safe, thanks to linear types and the borrow checker. Rust is still the only competitor in the space of zero-overhead memory-safe languages.
Re: Ark – A modern systems programming language
#7If all this is Rust with the syntax of go, aw heck that's all I ever wanted anyway.
wait, you don't like putting your List inside your Arc inside your Cell ?? ;)
The whole point of smart pointer types like Arc and Cell is that they give you fine-grained control over the capabilities of your data. If you don't need such fine-grained control, then Rust probably isn't the language you're looking for. :)
Re: Ark – A modern systems programming language
#8A comparison with Rust would be nice.
Looks like it's basically Rust without the ownership, borrow checking, and a few other things. Think of C/Go(?) with a rust syntax, and a few more higher level things like boundary checking, unicode support, etc (I'm aware Go has unicode support, I mean C).
Re: Ark – A modern systems programming language
#9Re: Ark – A modern systems programming language
#10How long before someone releases another language "to fix all the dangerous parts of C" -- but the twist is that this language is just C but it forces you into a `git add --patch`-style menu that makes you double check all your usage of malloc and free every time you compile?