4 ms·

It's a nice idea, but I find the conceptualization/implementation of it to be rather inelegant. It feels like it overcomplicates and goes a long distance to ach

It's a nice idea, but I find the conceptualization/implementation of it to be rather inelegant. It feels like it overcomplicates and goes a long distance to achieve the same effect as an affine type system. It makes reading and writing and conceptualizing about the code that much more annoying. I don't want to be forced into thinking about imperative code in terms of objects and ownerships, that's way too opinionated for my tastes. I find it much comparable to how modern C++ template metaprogramming goes to great lengths to achieve the same capability as a dependent type system, but again it's somehow even more annoying and grating to read and write than the most proof-laden example of something like Idris. I don't want to use a language that feels like an amateurish hackjob. Just give me something approximate to ocaml syntax with low level memory control and an affine type system. Please. That's what I want Rust to be. Not a frankenstein's monster that seems in direct competition with C++ to be the most needlessly complicated and ugly language possible.

Verdex 3y ago
> It's a nice idea, but I find the conceptualization/implementation of it to be rather inelegant. Everyone is welcome to their own opinion and sense of style. Our world is better off for the one that you hold. > Just give me something approximate to ocaml syntax with low level memory control and an affine type system. Eh, the beggar cannot also be a chooser. Your desire may be good, but no one is compelled to make it a reality. Our environment experiences a glut of frontend and backend libraries for building your own programming language. As well as guides aplenty to show you the way.
- johnnyjeans 3y ago
  Oh sure, I don't mean to imply a helplessness to have such a language. I only provide context to say what I wish Rust was, in order give an abstract picture of the scope of problems I have with the language.
i_am_a_peasant 3y ago
You probably want Zig, but it'll be a while until the 1.0 release, maybe 2027-2028

Verdex 3y ago

> It's a nice idea, but I find the conceptualization/implementation of it to be rather inelegant. Everyone is welcome to their own opinion and sense of style. Our world is better off for the one that you hold. > Just give me something approximate to ocaml syntax with low level memory control and an affine type system. Eh, the beggar cannot also be a chooser. Your desire may be good, but no one is compelled to make it a reality. Our environment experiences a glut of frontend and backend libraries for building your own programming language. As well as guides aplenty to show you the way.

johnnyjeans 3y ago
Oh sure, I don't mean to imply a helplessness to have such a language. I only provide context to say what I wish Rust was, in order give an abstract picture of the scope of problems I have with the language.

i_am_a_peasant 3y ago

You probably want Zig, but it'll be a while until the 1.0 release, maybe 2027-2028