this post was submitted on 09 May 2024
38 points (71.1% liked)

Linux

48090 readers
773 users here now

From Wikipedia, the free encyclopedia

Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).

Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.

Rules

Related Communities

Community icon by Alpár-Etele Méder, licensed under CC BY 3.0

founded 5 years ago
MODERATORS
 

Tabs are 8 characters, and thus indentations are also 8 characters. There are heretic movements that try to make indentations 4 (or even 2!) characters deep, and that is akin to trying to define the value of PI to be 3.

I am in love with this awsome document; I love its guidelines, and coding conventions.

However, when Rust was introduced into the kernel, they butchered these beautiful guidelines, I know it's hard to look at such heretic actions, but you have to see this:

The default settings of rustfmt are used. This means the idiomatic Rust style is followed. For instance, 4 spaces are used for indentation rather than tabs.

How can this even relate to the ideology of the first document? I am deeply saddened by these new rules.

I know this is "The Rust experiment", but this must be fixed before it's too late! This has to reach someone.

A counter-argument might be:

The code should be formatted using rustfmt. In this way, a person contributing from time to time to the kernel does not need to learn and remember one more style guide. More importantly, reviewers and maintainers do not need to spend time pointing out style issues anymore, and thus less patch roundtrips may be needed to land a change.

And to that I say that rustfmt is configurable per project, and if it isn't, then it has to be. Doesn't something like .editorconfig exist?

Edit: I think I read enough comments to come up with a conclusion.

At first, forcing another language's code style upon another sounds backwards, but both styles are actually more similar than I originally though, the kernel's C style is just rustfmt’s default with:

  • 80 character line.
  • 8-space hard tabs.
  • Indentation limited to 3.
  • Short local-variable names.
  • Having function length scale negatively with complexity.

The part about switch statements doesn't apply as Rust replaced them with match.*

The part about function brackets on new lines doesn't apply because Rust does have nested functions.

The bad part about bracket-less if statements doesn't apply as Rust doesn't support such anti-features.

The part about editor cruft is probably solved in this day & age.

The rest are either forced by the borrow checker, made obsolete by the great type system, or are just C exclusive issues that are unique to C.

I left out some parts of the standard that I do not understand.

This all turned up to be an indentation and line-size argument. Embarrassing!

*: I experimented with not-indenting the arms of the root match expression, it's surprisingly very good for simple match expressions, and feels very much like a switch, though I am not confident in recommending to people. Example:

match x {
5 => foo(),
3 => bar(),
1 => match baz(x) {
	Ok(_) => foo2(),
	Err(e) => match maybe(e) {
		Ok(_) => bar2(),
		_ => panic!(),
		}
	}
_ => panic!(),
}

all 35 comments
sorted by: hot top controversial new old
[–] [email protected] 60 points 6 months ago (2 children)

honestly 8 space indents always felt a bit ridiculous to me. i usually use 4 since it’s more conventional in most languages but could also be happy with 2.

weird hill to die on. use default setting unless you have a good reason not to. the argument itself is a waste of time on projects that want to get things done.

[–] [email protected] 25 points 6 months ago (1 children)

Also to advocate for a specific tab size while also advocating for hard tabs is nonsense. The one flimsy claim to usefulness tabs have is that different people can use different tab sizes and all at the low, low cost of everyone having five times more work to use tabs for indentations and spaces for alignment and thus having to use visual whitespace of some kind.

[–] [email protected] 4 points 6 months ago* (last edited 6 months ago) (1 children)

having five times more work to use tabs for indentations and spaces for alignment and thus having to use visual whitespace of some kind.

Excuse me. What does that mean? (also see my reply to 1rre)

[–] [email protected] 10 points 6 months ago (1 children)

What they're referring to is that when you use tabs, you end up having some things at the end of lines have to be spaced over for alignment. Thus, you then have to turn on some way of seeing what stuff is tabs and what stuff is spaces and it turns into a big mess.

Hence why normal people indent with spaces instead of hard tabs

[–] [email protected] -3 points 6 months ago* (last edited 6 months ago)

So, why don't people just restrict tabs to pre-text, strictly-sized indentation?

On a side note: I think (not sure) that indenting with 8 or more spaces just to align 2 similar but differently sized lines of code is a bit too much.

[–] [email protected] 5 points 6 months ago

afaik it's like that to discourage heavily nested code but don't quote me on that

[–] [email protected] 42 points 6 months ago (2 children)

My biggest disagreement is this:

Do not unnecessarily use braces where a single statement will do.

Always put braces around if statements. It will bite you in the butt

[–] [email protected] 17 points 6 months ago (1 children)

I would go so far as to say that languages that allow you to leave off the braces and have macros that look like functions that can generate multiple statements at the same time are just plain badly designed.

[–] [email protected] 4 points 6 months ago

Thank god macros and functions are different colors in my IDE.

[–] [email protected] 6 points 6 months ago* (last edited 6 months ago)

This one in particular I am against. (it's not like it's possible in rust anyway)

[–] [email protected] 42 points 6 months ago (1 children)

Rustfmt is not very configurable. That is a wonderful thing: People don't waste time on discussing different formatting options and every bit of rust code looks pretty identical.

[–] [email protected] 14 points 6 months ago* (last edited 6 months ago) (3 children)

My emotions just stopped, so I can now think straight.

There are really only 2 changes that - in my eyes - should be made:

  • 8 space-long, hard tabs.
  • 80 character limit instead of 100.

I don't think a tool like rustfmt can affect most of the original guidelines, and it's generally compatible with the OG style by default.

Edit: I - surprisingly - never actually used rustfmt, so I will go now and test before I say something stupid.

Edit II: I just found this on their repo:

Rustfmt is designed to be very configurable.

Edit III: I tested rustfmt with:

hard_tabs = true

max_width = 80

It's great!

[–] [email protected] 27 points 6 months ago (1 children)

We are not stuck to DEC VT100 terminals anymore. It’s okay to have 100 columns of code. And wasting 10% of that space for each indentation? What are you smoking?

[–] [email protected] 9 points 6 months ago

8 space-long, hard tabs.

Hard disagree. 8 spaces is waste and 4 should be industry standard. Tabs should not be used for indentation, but spaces. On the other side, Tabs are configurable, so that's actually a plus point.

80 character limit instead of 100.

Why? 80 is an old standard with limitations that do not apply today anymore. We have wider screens and higher resolutions. While it makes sense to keep this to be consistent with previous code and language defaults for C, there is no reason to enforce this for the new adopted language, which already has a standard on its own.

And yes rustfmt can be configured and when I started with Rust I changed max_width to 80, just because I was used to it with Python. But there is no benefit doing this in Rust.

[–] [email protected] 1 points 6 months ago

I think they can just ban tabs. And do some automatic rejection via... what? Are kernel devs still using email attachment for this?

[–] [email protected] 38 points 6 months ago (2 children)

You are just stoking the flames of a meaningless holy war.

[–] [email protected] 5 points 6 months ago

To be fair, consistent styling across the entire project is not meaningless. But on the other side, I don't think this needs to be fixed here, because it is already consistent (within their language).

[–] [email protected] 4 points 6 months ago* (last edited 6 months ago) (1 children)

The kernel had a consistent style before rust was even an idea! Who do you think has started this inconsistency? (Maybe not, what does someone like me know about the kernel anyway)

[–] [email protected] 9 points 6 months ago (1 children)
[–] [email protected] 2 points 6 months ago

Agreed, and upvoted.

[–] [email protected] 16 points 6 months ago* (last edited 6 months ago)

How can this even relate to the ideology of the first document? I am deeply saddened by these new rules.

The previous document was written in a time when only C was the language in the Kernel. Now that two different languages and eco systems exist, it makes lot of sense to not mix them up. The document with guidelines for C code was needed, because there was no uniform guide that every user used. But with Rust it is different. There exist rustfmt and practically every user is learning and writing code with it and every public documentation and library is using this tool; most of them with default values.

You don't mix C with Rust anyway, so why do you want force every Rust programmer and code formatted like C? I don't think this is an issue that needs to be fixed. Are you programming for the Linux Kernel? Do you do it in C and Rust? Otherwise, why do you think this is a problem?

Edit: Also the very first paragraph and second sentence in the linked document says this:

Coding style is very personal, and I won’t force my views on anybody, but this is what goes for anything that I have to be able to maintain, and I’d prefer it for most other things too.

But you seem to ignore that and force everyone to write code like this, declaring it to be an issue in the code (which it isn't). Do you not think that other Linux developers didn't think of this? Why is this an issue that has to be fixed and how do you explain this? Why does the C coding standard apply to Rust, when Rust has its own established one?

[–] [email protected] 12 points 6 months ago (1 children)

Is this a joke?

Obviously, 8 wide tabs are too much. That's like defining Pi as 5.

[–] [email protected] 1 points 6 months ago (1 children)

No, it is not, people have been using 8-space tabs even back when terminals were limited to 80 characters.

[–] [email protected] 10 points 6 months ago

Yeah, sometimes people make mistakes but we can change for the better.

Personally, I wish everyone would just use the tab character and configure how it gets displayed in their editor, instead of imposing spacing on everyone

[–] [email protected] 8 points 6 months ago (1 children)

Finally, something is beating python in how ridiculous it is. Yay!

[–] [email protected] 5 points 6 months ago (1 children)

What happens when the defaults change? Is old code all of a sudden not following the style guidelines?

[–] [email protected] 3 points 6 months ago
[–] [email protected] 5 points 6 months ago (1 children)

Agreed not tabs

8 spaces seems excessive.

4 spaces or even 2 would be my preference.

Disclaimer: lots of programming but no rust experience. Though, I don't think that matters.

[–] [email protected] 6 points 6 months ago

First saying that tabs are a no go, then proceeding to deliberate on the correct amount of spaces...

Long live tabs!

[–] [email protected] 4 points 6 months ago (1 children)

Silicon Valley vibes (the series).

Doesn't the kernel have a coding standard?

[–] [email protected] -4 points 6 months ago* (last edited 6 months ago) (1 children)

It has a long-lasting C coding standard, they call it the standard since it was the only language anyway. Then, they made a newly conceived Rust standards, which ignore everything the original standard stood for. (Note the strong language in the post's first quote, it's from the original standard)

[–] [email protected] 10 points 6 months ago* (last edited 6 months ago) (1 children)

Why should we have the same standard for two fundamentally different languages with distinct design philosophies and features?
Even if the C coding standard was used, it fundamentally will not make Rust more legible to C-only kernel devs. Imposing the C coding standard on Rust would be fundamentally counterproductive, as it would undermine Rust's safety and productivity features. Rust's coding guidelines align with its design principles, promoting idiomatic Rust code that leverages language features like ownership, borrowing, and lifetimes.
This ensures that Rust code in the kernel is safe, concurrent, and maintainable, while adhering to the language's best practices. While the C coding standard served its purpose well for the procedural C language, it is ill-suited for a modern language like Rust, which has different priorities and language constructs. Having separate coding standards allows each language to shine in its respective domain within the kernel, leveraging their strengths while adhering to their respective design philosophies. Having separate coding standards for C and Rust within the kernel codebase is the sensible approach.

[–] [email protected] -2 points 6 months ago* (last edited 6 months ago)

Well, what I meant was just rustfmt's default with:

  • 80 character line
  • 8-space hard tabs

In addition to naming local variables short names, and soft-limiting functions to 48 lines long & their local variables to 5-10 (you know, normal reasonable things)

The part about switch statements doesn't apply as Rust replaced them with match.*

The part about function brackets on new lines doesn't apply because Rust does have nested functions.

The bad part about bracket-less if statements doesn't apply as Rust doesn't support such anti-features.

The part about editor cruft is probably solved in this day & age.

The rest are either forced by the borrow checker, made obsolete by the great type system, or are just C exclusive issues that are unique to C.

I left out some parts of the standard that I do not understand.

I just skimmed through the Rust style guide, and realized the only real difference between the 2 standards is indentation, and line length. Embarrassing.

*: I experimented with not-indenting the arms of the root match expression, it's surprisingly very good for simple match expressions, and feels very much like a switch, though I am not confident in recommending to people.

Edit: How did I forget?! Indentation is limited to 3, increasing code readability.