Nim is unsafe

[dom96]

...or at least that's what I am told by Reddit/HN.

It seems that this is Nim's reputation now, every single time a discussion about Nim gets off the ground somebody comes along and says something like "Nim would be awesome but it has the same unsafe and undefined behaviour as C". Recent example here. Somebody even asked a question on Quora about this: https://www.quora.com/Is-Nim-really-that-unsafe.

The root of this criticism is here.

I think it's about time we do something about this. Either simply decide that Nim doesn't try to be safe, does try to be safe but provides features which allow it to be unsafe, does try to be safe but a bug causes it to be unsafe, or a combination of those statements. So which is it?

Is it for example fine that

echo("Counting to ten: ")
for i in countup(1, 10):
  var k: ref int = nil
  var l = k[]
  echo($l)

Will not crash in release mode?

Possibly related: #2809

[refi64]

It's also Reddit, where they criticize Java but downvote anyone else who dislikes it. Just tell 'em to suck an egg or something...

[Varriount]

Unfortunately, I do agree somewhat. Undefinable behavior aside (which can be fixed through the codegen) many of the basic types in the standard library easily allow unsafe and inefficient behavior.

A large amount of the pain C/C++ programmers seem to face is from the constant mental modeling that needs to be done to write code that doesn't encounter some odd memory error or cause undefined behavior. Furthermore, the cycle of having to compile, run, and then test your code just to possibly find common mistakes is horribly tedious.

This is what makes Rust so attractive, and Nim... not so attractive. Rust has all that familiarity of C++, coupled with the underlying idea that "anything unsafe should be explicitly approved of by the programmer". However one may feel about the extreme view Rust has taken on this, it nevertheless seems like something that relieves the biggest pain-point of C/C++ programming.

Nim, on the other hand, feels at times a hode-podge of ideas that cater to few. Yes, it has a good GC, procedures, closures, and a compile-time evaluation system. Unfortunately, many of the 'killer features' are underdeveloped or were never subject to enough user feedback to make them really useful.
Take strings, which right now are nillable and copy-on-assignment, making them neither safe nor efficient in the eyes of C/C++ programmers. Even if you are of the opinion that types should be nillable by default, having a nil string is rarely any good, as a much more useful representation is simply an empty string.
Term-rewriting macros are another feature that is sadly underdeveloped. The syntax for describing what a term-rewriting macro is supposed to rewrite gets very complicated, very quickly, and it's often hard to understand how to write an expression to match a certain AST configuration. Some more outside input may have helped choose a more suitable syntax.

I could go on, but this comment is ranty enough as it is. Make no mistake, I want to see Nim grow and become successful, but I fear that the current path it's heading on will make it turn into something akin to compiled PHP.. At some point backwards incompatible changes will need to be made, if only to correct design and efficiency flaws.

[Araq]

These kind of arguments would be way more convincing if the example actually would not crash in release mode, but it does... Maybe the hacker news people need to actually hack something and look at the results rather than pretending they know everything.

[Araq]

Take strings, which right now are nillable and copy-on-assignment, making them neither safe nor efficient in the eyes of C/C++ programmers.

Sorry, but you're not speaking for the C/C++ programming community but from your own experiences and you dislike how Nim's strings work. Which is fine, but please don't pretend there is some consensus on this complex topic when there clearly is none. And again, COW can be introduced without breaking semantics make them as efficient as C++'s strings. And back in the days, I analysed a complex piece of software heavily doing string ops (it was a preprocessor not unlike C's) and decided that even COW is too expensive after a certain amount of optimizations has been applied. Java-like code full of accessors is punished by Nim's strings, but that doesn't mean Nim's strings are misdesigned. Add to this the fact that Nim's strings are really consistent with how the rest of the language works and you have the explanation of why Nim's strings are the way they are. That Python and Java do it differently never was a valid concern for me, if I want Python and Java I know where to find them.

[Araq]

Either simply decide that Nim doesn't try to be safe, does try to be safe but provides features which allow it to be unsafe, does try to be safe but a bug causes it to be unsafe, or a combination of those statements. So which is it?

ptr, addr and cast are the keywords (and pointer/cstring/ unchecked arrays) which introduce unsafety, the rest is safe. The manual is actually pretty clear about it. The missing nil checking is a bug but rather a minor one because it just doesn't come up in practice. If you come up with real world examples where it does come up, it will get a higher priority. Opinions on reddit are not a replacement for actual real world examples.

[dom96]

These kind of arguments would be way more convincing if the example actually would not crash in release mode, but it does... Maybe the hacker news people need to actually hack something and look at the results rather than pretending they know everything.

I think the whole point is that it doesn't crash.

[dom96]

ptr, addr and cast are the keywords (and pointer/cstring/ unchecked arrays) which introduce unsafety

Would it be possible to get an Unsafe effect and mark those using this effect, then we could get something close to Rust's unsafe keyword right?

[Araq]

I think the whole point is that it doesn't crash.

Yes, and yet it DOES CRASH both with and without -d:release.

[Varriount]

What about on clang, without the address sanitizer option?

[Araq]

Would it be possible to get an Unsafe effect and mark those using this effect, then we could get something close to Rust's unsafe keyword right?

The point of an effect is to prevent something at compile time. Can unsafe code call safe code? Yes. Can safe code call unsafe code? You better enable this too. So what's the point? The unsafe features already stick out and are already keywords.

[zachaysan]

Here is an email exchange I initiated back in July when I needed to find a language to implement some code that needed to be fast and I was debating between Cython, Nim, and Go:

Hi Joseph,

I came across your comment on HN.

I want to know if you are still as enthusiastic about Nim to this day. I'm starting to get more involved in it for essentially all of the reasons you listed, but I'm worried I'll commit too early and hit some sort of wall. I need to implement a high-performance piece of infrastructure and while I'm fairly comfortable with Cython and Go, I don't especially love either of them, and I'd prefer something like Nim unless you've found consistent problems with it.

Here was his response:

Yes- still very bullish on Nim.

I can say unequivocally that it would give you some serious advantages over Go and Cython (excluding experience as a consideration).

We do a bunch of stuff in ocaml as well when we need something a little higher level (e.g., symbolic manipulation or computational proofs or safety and/or security) than Nim; although Nim could pull it off- just with more verbosity in the algebraic data types and its safety defaults (Nim has a default philosophy of nullable and mutable fields- matches system programming habits and surmountable but at the cost of some extra typing).

I seriously doubt you'll hit any kind of wall if you're going for high-performance infrastructure / real systems programming. There may be some stylistic things that bug you at first (as with any language) and some advanced features that are meaningless for some time (e.g. Effect system), and an occasional evolving (non-essential for now) language feature (like namespaces / advanced package management), but I wouldn't hesitate for a moment to recommend it from the perspective of Go and Cython, and over anything else for high-performance infra.

So I used Nim in production (calling out from Ruby, where I do most of my non-systems and non-machine code) for a performance critical piece and everything has worked out just fine.

Nim has a slower adoption curve for a couple of reasons. One is that it is so complete, that it is hard for some people to learn / justify the time commitment. The other is that it is still pre-V1, so people don't want to accept it and face breaking changes with a codebase. I haven't had any problems with nilable strings or safety, but then again, I haven't done that much with the language. I'm only a every-now-and-then user. I'm about 4x as productive with Ruby, at least half of which is because I'm so familiar with the language, but when I need to write performance critical code Nim is great.

[dom96]

So what should we reply to something like this? https://news.ycombinator.com/item?id=10947761

[refi64]

My response:

In most cases, though, the GC is light enough that it can stay enabled, and you'll rarely ever end up with raw pointers.

For threading, you can use the capabilities at:

http://nim-lang.org/docs/threadpool.html

[narimiran]

Now that we have not-nil seqs and strings, can we close this?

[dom96]

nil is still in the language.