• Os valores são as entidades básicas da linguagem Haskell. São os elementos atómicos.
• Uma expressão ou é um valor ou resulta de aplicar funções a expressões.
• O interpretador atua como uma calculadora: lê uma expressão, calcula o seu valor e apresenta o resultado.

> 5.3 + 7.2 * 0.1
6.02
> 2 < length [4,2,5,1]
True
> not True
False

Um tipo é um nome que denota uma coleção de valores.

• Se da avaliação de uma expressão e resultar um valor do tipo T, então dizemos que a expressão e tem tipo T, e escrevemos —> e : : T

Exemplo :

> :type not True
not True :: Bool