Lokale Definitionen können in Gofer entweder durch einen let-Ausdruck oder durch eine where-Klausel dargestellt werden:
let decls in exprBeispiel:
f = let
a = 4
b = 5
in a + b
Funktionsdefinition mit where:
f = a + b
where
a = 5
b = 6
(Achtung: das Schlüsselwort where mugegenüber dem
Funktionsnamen f eingerückt werden (s. Layout-Regeln))