Layout Rules

Enso is a layout-aware programming language, in that layout rules are used to determine code structure. The layout rules in Enso are intended to provide for an intuitive way to format code.

This document describes the layout rules for Enso's white-space.

Maximum Line Length
Indented Blocks

Maximum Line Length

The maximum length of a line in an Enso source file is restricted to 80 characters outside of text blocks. If your code exceeds this limit, the compiler will emit a warning message.

There is no option to change this limit in order to enforce visual consistency in user code. The reasoning behind this is as follows:

The default soft-wrapping of long lines in editors is highly disruptive to the visual structure of code, making it harder to understand.
Code should still be understandable on smaller screens or with multiple-column views.

Indented Blocks

Indentation in Enso is used to start a block. Every indented line is considered to be a sub-structure of the nearest previous line with lower indentation. We refer to these as the 'child' and the 'parent' lines respectively. This means that any region at the same indentation is considered to be part of the same block, and blocks may contain blocks.

block =
    x = 2 . replicate 7 . map show . intercalate ","
    IO.println x

In addition, we have a set of custom layout rules that impact exactly how blocks are defined. These are described in the following subsections.

Trailing Operator on the Parent Line

If a line ends with an operator then all of its child lines form a code block. The most common usage of this kind of indented block is a function definition body (following the = or ->).

test = a -> b ->
    sum = a + b

Leading Operator on All Child Lines

If all the child lines in a block begin with an operator, the lines in the block are considered to form a single expression.

This expression is built as follows:

Every line in the block is built as a standard inline expression, ignoring the leading operator.
The final expression is built top to bottom, treating the leading operators as left-associative with the lowest possible precedence level.

Please note that the operator at the beginning of each child line is used after the line expression is formed.

nums = 1..100
    . each random
    . sort
    . take 100

No Leading or Trailing Operators

In the case where neither the parent line ends with a trailing operator, or the child lines begin with an operator, every child line is considered to form a separate expression passed as an argument to the parent expression. The most common usage of this is to split long expressions across multiple lines.

geo1 = sphere (radius = 15) (position = vector 10 0 10) (color = rgb 0 1 0)
geo2 = sphere
    radius   = 15
    position = vector 10 0 10
    color    = rgb 0 1 0

Debug Line Breaks

In certain cases it may be useful to debug line breaks in code. To this end, we provide a debug line-break operator \\ which, when placed at the beginning of a child line tells Enso to glue that line to the end of the previous one.

This should be avoided in production code and its use will issue a warning.

debugFunc = v -> v2 ->
    print (v2.normalize * ((v.x * v.x) + (v.y * v.y)
      \\ + (v.z * v.z)).sqrt)

validFunc = v -> v2 ->
    len = ((v.x * v.x) + (v.y * v.y) + (v.z * v.z)).sqrt
    v2  = v2.normalize * len
    print v2

4.0 KiB Raw Permalink Blame History