News for hackers. Stuff that matters.
Re:Ask HN: What startup/technology is on your 'to watch' list? by Animats on Saturday May 23, 2020 @03:32AM (#23280787)
Things like "It is the programmer's responsibility to ensure that std::string_view does not outlive the pointed-to character array."

"string_view" is a borrow of a slice of a string. Since C++ doesn't have a borrow checker, it's possible to have a dangling string_view if the string_view outlives the underlying string. This is a memory safety error.

Rust has educated people to recognize this situation. Now it's standard terminology to refer to this as a borrow, which helps. Attempting to retrofit Rust concepts to C++ is helping, but often they're cosmetic, because they say the right thing, but aren't checked. However, saying the right thing makes it possible to do more and more static checking.

Re:Ask HN: What startup/technology is on your 'to watch' list? by typon on Saturday May 23, 2020 @03:43AM (#23280847)
But surely it's a step towards more safety. Compare to passing char * around or ref/ptr to string.

Sure C++ doesnt have a borrow checker but these types encourage the idea of "reifying" lack of ownership rather than keeping it ad hoc

Re:Ask HN: What startup/technology is on your 'to watch' list? by benibela on Saturday May 23, 2020 @08:58AM (#23282549)
I have always used Pascal for memory safe strings. Reference counted, mutable xor aliased, bound checked: their safety is perfect.

Unfortunately there is no string view, so you need to copy the substrings or use pointers/indices. I tried to build a string view, but the freepascal compiler is not smart enough to keep a struct of 2 elements in registers.

Re:Ask HN: What startup/technology is on your 'to watch' list? by temac on Saturday May 23, 2020 @07:28AM (#23282070)
You don't infer potential ownership from a C++ ref. Likewise for char* strings unless it is to interface with a C api, in which case you will keep it anyway.
Re:Ask HN: What startup/technology is on your 'to watch' list? by radarsat1 on Saturday May 23, 2020 @03:15PM (#23285570)
Wow. I hadn't read up much on string_view but I guess I assumed it required a shared_ptr to the string. Odd decision not to.
Re:Ask HN: What startup/technology is on your 'to watch' list? by jfkebwjsbx on Saturday May 23, 2020 @07:42AM (#23282148)
Rust hasn’t "educated people" about "borrowing".

Lifetime management has always been there for any developer dealing with resources in any language. Over the years, languages and specialized extensions and tools have offered different solutions to help with that problem.

What Rust has brought is a system that checks explicit tracking embedded into a mainstream language.