Rust: Not So Great For Codec Implementing

Re:Rust: Not So Great For Codec Implementing by sitkack on Wednesday August 02, 2017 @01:04AM (#14908064)

.split_at_mut is a method on a slice ... one is free to implement their own abstractions that ultimately terminate in an unsafe { block } that enable multiple mutable borrows.

   fn split_at_mut(&mut self, mid: usize) -> (&mut str, &mut str) {
		// is_char_boundary checks that the index is in [0, .len()]
		if self.is_char_boundary(mid) {
			let len = self.len();
			let ptr = self.as_ptr() as *mut u8;
			unsafe {
				(from_raw_parts_mut(ptr, mid),
				 from_raw_parts_mut(ptr.offset(mid as isize), len - mid))
			}
		} else {
			slice_error_fail(self, 0, mid)
		}
	}

this is literally the src to .split_at_mut Make your own version. Rusts power isn't what it enables, it is what it removes, undefined behavior, false sharing, etc. Frankly, I am tired of C/C++ programmers complain about Rust. This is a non-starter. I am happy to convert the F#, Haskell, OCaml, Scala and Clojure devs to Rust. Systems programming isn't magic.

[ Parent | on HN ]

Re:Rust: Not So Great For Codec Implementing by wbl on Wednesday August 02, 2017 @11:50AM (#14911495)

What does Rust have Ocaml doesn't? If Ocaml solves the problem why Rust? Rust was made to solve the problem Ada solves.

[ Parent | on HN ]

Re:Rust: Not So Great For Codec Implementing by kbenson on Wednesday August 02, 2017 @12:48PM (#14912201)

> What does Rust have Ocaml doesn't?

Safe memory management without a garbage collector.

> If Ocaml solves the problem why Rust?

Ocaml doesn't solve every problem any more than Rust does. Rust may solve a subset of the problems people use the listed languages for better than those languages, so it might be beneficial for people to use it in those cases.

> Rust was made to solve the problem Ada solves.

Not all solutions have the same efficiency, or are as easy to understand. Rust aims to enforce safety at compile time to eliminate runtime safety checks where possible. Ada performs many safety checks at runtime, which introduces a performance cost. This does allow Ada to provide some additional safety checks though (such as limiting a type/subtype to a range of values).

[ Parent | on HN ]

Re:Rust: Not So Great For Codec Implementing by sitkack on Friday August 04, 2017 @01:59AM (#14926643)

It has [ ] nothing where a garbage collector would be. ML is beautiful language. I am not trying to get anyone to stop speaking their language of choice, but I am trying to get people who need to do systems-y things to use Rust. There are more similarities between the Rust programmer and the OCaml programmer than there are differences.

[ Parent | on HN ]