Haskell/Verdadeiro ou falso: diferenças entre revisões
| [edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
Primeira tradução de en:Haskell/Truth values |
mSem resumo de edição |
||
Linha 1:
{{clear}}
{{HaskellÍndice|Básico}}
== Igualdade e outras comparaçãoes ==
Linha 70 ⟶ 73:
}}
Enquanto o "4" retornado primeiro representa a contagem de alguma coisa, o "Verdadeiro" é um ''valor'' que representa a verdade de uma certa proposição. Tais valores são conhecidos como '''booleanos'''.<ref group=nota>Este termo foi escolhido em homenagem ao matemático britânico [[w:George Boole|George Boole]].</ref> Naturalmente, apenas dois valores são possíveis, os quais já nos foram apresentados: <code>True</code> e <code>False</code>.
== Introdução a tipos de dados ==
Linha 135 ⟶ 138:
<math>\text{abs}(x) = |x| = \begin{cases} x, & \mbox{se } x \ge 0 \\ -x, & \mbox{se } x < 0. \end{cases} </math>
Nesta função, a expressão usada para calcular <math>|x|</math> depende do próprio valor de <math>x</math>. Se <math>x \ge 0</math> for verdadeiro, então usamos a primeira expressão; se for falso, a segunda. Para expressar esse processo de decisão em Haskell, usamos guardas, sendo que a função ficaria assim:<ref group=nota>Esta função já está disponível nas bibliotecas padrões de Haskell, chamada de <code>abs</code>. Não há necessidade de reimplementá-la.</ref>
<source lang="haskell">
Linha 147 ⟶ 150:
* Começamos com uma definição normal de uma função. Primeiro o nome, <code>absoluto</code>, depois definindo a quantidade de argumentos que ela aceita, <code>x</code>.
* Em vez de usar o sinal <code>=</code> e começar a escrever a definição, nós escrevemos duas alternativas de comportamento logo a baixo.<ref group=nota>Na verdade, poderíamos escrever tudo numa linha só, como <code>f x | caso 1 | caso 2</code>, mas é sempre preferível quebrar linhas para facilitar a leitura.</ref> São essas alternativas que chamamos de ''guardas''. Deve-se lembrar que a indentação (os espaços em branco antes de <code>|</code>) não são opcionais, e são usados para mostrar que as guardas estão dentro do escopo da definição de <code>absoluto</code>.
* Cada guarda começa com uma barra vertical, <code>|</code>. Depois dela, deve-se escrever uma expressão que resulte num booleano, também chamada de condição booleana ou ''predicado''. Ela é seguida pelo resto da definição, que começa a partir de <code>=</code>. A definição descrita numa guarda só será avaliada se, e somente se o predicato for avaliado como <code>True</code>.
Linha 170 ⟶ 173:
==Notas==
<references group=nota/>
[[en:Haskell/Truth values]]
| |||