Esta foi uma decisão de design no idioma. -1é um número, mas seu uso neste contexto é não relacionado com a função(-) . (Como Ackdari menciona em sua resposta, esse uso está relacionado à função negate.) Existem alguns compromissos que permitem que isso funcione:
Você não pode pegar uma fatia certa do (-)operador. Como solução alternativa, Haskell fornece a subtractfunção.
Você não pode escrever um número inteiro negativo sem parênteses, a menos que esteja no início de uma atribuição (por exemplo, diretamente após =ou ->). Isso produz um erro de análise:
let x = 8 * -1Em vez disso, deve ser escrito como
let x = 8 * (-1)No entanto, isso é bom:
let x = -1 * 8Essas foram consideradas compensações razoáveis para os projetistas do idioma.
A resposta já está descrita no haskell-wiki , afirma
O menos unário é o açúcar sintático para a função Prelude
negate
então a função (-)é sempre a a - bfunção e se você escrever um código como
let x = -yo compilador o traduzirá let x = negate y.
Unário menos é especial em Haskell. Conforme declarado na seção 3.4 do relatório :
A forma especial denota negação de prefixo, o único operador de prefixo em Haskell, e é a sintaxe para . O operador binário não se refere necessariamente à definição de no prelúdio; pode ser recuperado pelo sistema do módulo. No entanto, unário sempre se refere à função definida no prelúdio. Não há ligação entre o significado local do operador e a negação unária.
-enegate (e)---negate-