programação em C

Introdu¸˜o ` Programa¸˜o Funcional ca a ca em OCaml
M´rio Pereira and Sim˜o Melo de Sousa a a
RELEASE - RELiablE And SEcure computation Group
LIACC & Departamento de Inform´tica a Universidade da Beira Interior
Documento de Trabalho. Vers˜o de 26 de Fevereiro de 2012 a Conte´ do u 1 Introdu¸˜o ca 1.1 Heran¸a ML . . . . . . . . . . . . . . . . . . . . . . . . . . . . c 2 Compila¸˜o, Execu¸˜o e Bibliotecas ca ca
2.1 Execu¸ao . . . . . . . . . . . . . . c˜ 2.2 Compila¸ao . . . . . . . . . . . . . c˜ 2.3 Acesso as bibliotecas . . . . . . . .
`
2.4 Ambiente de Programa¸˜o . . . . . ca .
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

3 N´ cleo funcional u 3.1 Linguagens fortemente tipificadas e Polimorfismo
3.1.1 Convers˜es expl´ o ıcitas . . . . . . . . . . . .
3.2 Vari´veis e fun¸oes . . . . . . . . . . . . . . . . . a c˜
3.3 Valores, fun¸˜es e tipos de base . . . . . . . . . . co 3.3.1 Valores Num´ricos . . . . . . . . . . . . . e 3.3.2 Caracteres e strings . . . . . . . . . . . . .
3.3.3 Booleanos . . . . . . . . . . . . . . . . . .
3.3.4 Tipo unidade . . . . . . . . . . . . . . . .
3.3.5 Produto Cartesiano, tuplos . . . . . . . . .
1

.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.

4
5

.
.
.
.

7
7
8
9
10

.
.
.
.
.
.
.
.
.

11
12
13
14
15
15
17
17
17
18

3.4
3.5

3.6

3.7
3.8

3.9

3.3.6 Listas . . . . . . . . . . . . . . . . . .
Estruturas Condicionais . . . . . . . . . . . .
Declara¸ao de valores . . . . . . . . . . . . . . c˜ 3.5.1 Declara¸˜es globais . . . . . . . . . . . co 3.5.2 Declara¸˜es locais . . . . . . . . . . . . co Express˜es funcionais e fun¸oes . . . . . . . . o c˜
3.6.1