Matthias Toepp (Apr 22 2023 at 16:45): Matthias Toepp (Apr 22 2023 at 16:45):Do we need to reduce our indention?
In recent discussion it seemed that some people may not be entirely happy with current levels of indentation perhaps particularly with when ..is?
Matthias Toepp (Apr 22 2023 at 16:48):(nim seems to get by with 2 spaces)
Matthias Toepp (Apr 22 2023 at 16:53):python requires at least one space of indentation but "defaults to 4"
Matthias Toepp (Apr 22 2023 at 18:12):From Fsharp Docs:
When indenting, at least one space is required. Your organization can create coding standards to specify the number of spaces to use for indentation; two, three, or four spaces of indentation at each level where indentation occurs is typical.
Brendan Hansknecht (Apr 22 2023 at 18:44):Currently I think that roc match's python
Matthias Toepp (Apr 22 2023 at 19:30):Based on playing with the compiler as it is...you're right it currentl accepts any level of indentation.
Matthias Toepp (Apr 22 2023 at 19:33):What exactly will it mean to default to four then?...just that that's what the format tool will do...if you don't specify something else, and that's what we will expect to find that people have done most often?
Matthias Toepp (Apr 22 2023 at 19:36):It's just an optional convention then, and that's how we would find most code to be written (unless someone chose otherwise)?
Matthias Toepp (Apr 22 2023 at 19:40):So even though there is really complete flexibility for personal projects one could still have the concern that code that follows the default standard could be pushed too far to the right.
Matthias Toepp (Apr 22 2023 at 19:42):...and therefore be annoying to read or edit.
Last updated: Jun 16 2026 at 16:19 UTC