Ferramentas de Utilizador
ocaml
Diferenças
Esta página mostra as diferenças entre as duas revisões da página.
| Ambos os lados da revisão anterior Revisão anterior Próxima revisão | Revisão anterior | ||
|
ocaml [2006/09/15 16:46] marcus |
ocaml [2010/01/18 15:45] (Actual) |
||
|---|---|---|---|
| Linha 79: | Linha 79: | ||
| ===== Estados ===== | ===== Estados ===== | ||
| - | <code> | + | <code ocaml> |
| (* o estado: uma função das identificadores para números inteiros *) | (* o estado: uma função das identificadores para números inteiros *) | ||
| type sigma = ident -> num;; | type sigma = ident -> num;; | ||
| Linha 91: | Linha 91: | ||
| ===== Avaliação de expressões aritméticas ===== | ===== Avaliação de expressões aritméticas ===== | ||
| - | <code> | + | <code ocaml> |
| (* avaliação das expressões aritméticas *) | (* avaliação das expressões aritméticas *) | ||
| let rec eval_aExpr (a,sigma) = | let rec eval_aExpr (a,sigma) = | ||
ocaml.1158349584.txt.gz · Esta página foi modificada pela última vez em: 2010/01/18 15:45 (Edição externa)
Ferramentas de Página
Excepto menção em contrário, o conteúdo neste wiki está sob a seguinte licença: CC Attribution-Noncommercial-Share Alike 4.0 International
