The Layout Rule

Before we dive into working with functions in Haskell, let's explore the layout rule. The layout rule states that each definition at the same level must begin at the same line position in the script. This allows us to determine the groupings of different definitions simply from indentation. Let's define a function that adds together the squares of two numbers:
1
sumSquares x y = a + b
2
  where
3
    a = x ^ 2 -- (^) is the power function
4
    b = y ^ 2
Copied!
From the indentation, it is obvious (both to us and Haskell) that a and b are local definitions in the function sumSquares, defined using the wherekeyword. Local definitions exist as intermediate helper expressions that help us with structuring our functions and make our code more readable. It is also possible to wrap the local variables a and b in curly braces to explicitly state the grouping in which case the layout does not matter (although it's best practice to use the layout rule to give our code better readability), but we need to also explicitly separate each local definition with ;:
1
sumSquares x y = a + b
2
  where
3
    {
4
      a = x ^ 2; -- we need to separate expressions with ';' in this case
5
      b = y ^ 2
6
    }
Copied!
​

Partial Application

Next - Defining Functions / Working with Functions

Local Definitions

Last modified 7mo ago

Copy link