ProgramaÃ§Ã£o Funcional e Concorrente com Scheme

More documents

Recommendations

Info

notas de aula - Jerônimo C. Pellegrini12.2.1.3 Criação de tarefas . . . . . . . . . . . . . . . . . . . . . . . . 20712.2.1.4 Declarações de interface com o mundo externo . . . . . . . 20712.2.1.5 O ator determina seu substituto . . . . . . . . . . . . . . . . 20712.2.2 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20812.2.2.1 Fatorial recursivo com mensagens . . . . . . . . . . . . . . 20812.2.2.2 Pilha com troca de mensagens . . . . . . . . . . . . . . . . . 20912.2.2.3 Quicksort . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21112.2.2.4 Programação genética . . . . . . . . . . . . . . . . . . . . . . 21212.2.2.5 Fluxo em redes . . . . . . . . . . . . . . . . . . . . . . . . . . 21312.2.3 Implementações do modelo Actor . . . . . . . . . . . . . . . . . . . . 21312.3 Termite Scheme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21312.3.1 Facilidades de alto nível . . . . . . . . . . . . . . . . . . . . . . . . . . 21512.3.1.1 Processamento seletivo de mensagens . . . . . . . . . . . . 21512.3.1.2 Casamento de Padrões . . . . . . . . . . . . . . . . . . . . . 21712.3.1.3 Procedimentos remotos síncronos . . . . . . . . . . . . . . . 21812.3.2 Fechos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21812.3.3 Exceções e processos ligados . . . . . . . . . . . . . . . . . . . . . . . 21812.3.4 Continuações . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21812.3.4.1 Migração de processos . . . . . . . . . . . . . . . . . . . . . 21812.3.4.2 Clonagem de processos . . . . . . . . . . . . . . . . . . . . . 21912.3.5 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21912.3.5.1 Quicksort em Termite Scheme . . . . . . . . . . . . . . . . . 219a Formatos Gráficos 225a.1 Netpbm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225a.1.1 P1: preto e branco, legível . . . . . . . . . . . . . . . . . . . . . . . . . 226a.1.2 P2: tons de cinza, legível . . . . . . . . . . . . . . . . . . . . . . . . . . 227a.1.3 P3: em cores, legível . . . . . . . . . . . . . . . . . . . . . . . . . . . . 228a.1.4 Netpbm binário . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229a.2 EPS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229Versão Preliminar[ 13 de setembro de 2010 at 21:23 ]v
notas de aula - Jerônimo C. Pellegrini1 E L E M E N T O S B Á S I C O S1.1 paradigmas de programaçãoHá diversas maneiras de conceber o que é “programar um computador”, cada uma delasusando diferentes conceitos e abstrações. O nome dado tradicionalmente a cada umadestas diferentes concepções de programação é “paradigma de programação”.No paradigma imperativo, a programação se dá por sequências de comandos, incluindocomandos que modificam o estado interno da memória do computador (de maneirasemelhante àquela como os computadores funcionam internamente, e talvez seja este omotivo do paradigma imperativo ser o primeiro usado na prática 1 ).No paradigma orientado a objetos, programas são conjuntos de objetos de diferentesclasses que interagem através de mensagens que ativam métodos nos objetos destino.Smalltalk [1] 2 é a linguagem onde o paradigma de orientação a objetos se mostra demaneira mais pura e clara.No paradigma lógico programas são cláusulas lógicas representando fatos, relações eregras. Prolog [2] é o principal representante da família das linguagens lógicas.Dentro do paradigma funcional, um programa é um conjunto de funções, semelhantes(mas não sempre) às funções em Matemática. Há diversas linguagens que podemrepresentar o paradigma funcional, como ML, Haskell e Scheme. Estas são, no entanto,radicalmente diferentes apesar de compartilharem a noção de “programas como conjuntosde funções”. Escrever programas em linguagens funcionais é, então, escrever funções. Naterminologia da programação funcional funções recebem argumentos e retornam valores. Oambiente de programação toma expressões e calcula seus valores aplicando funções.Estes não são os únicos “paradigmas” possíveis, mas certamente são os mais conhecidos.Pode-se falar também de programação com vetores (em APL [3]), ou do modeloVersão PreliminarActor [4] para programação concorrente como paradigmas de programação, e há a progra-1 A primeira linguagem de programação de alto nível desenvolvida foi o FORTRAN, que é essencialmenteimperativo; antes dele usava-se linguagem de máquina – uma forma também imperativa de programação2 E não Java ou C++, que são linguagens onde paradigmas se misturam.[ 13 de setembro de 2010 at 21:23 ]1
Page 1 and 2: notas de aula - Jerônimo C. Pelleg
Page 5: notas de aula - Jerônimo C. Pelleg
Page 17 and 18: notas de aula -Jerônimo C. Pellegr
Page 57 and 58:
notas de aula - Jerônimo C. Pelleg
Page 59 and 60:
Page 61 and 62:
Page 63 and 64:
Page 65 and 66:
Page 67 and 68:
Page 69 and 70:
Page 71 and 72:
Page 73 and 74:
Page 75 and 76:
Page 77 and 78:
Page 79 and 80:
Page 81 and 82:
Page 83 and 84:
Page 85 and 86:
Page 87 and 88:
Page 89 and 90:
notas de aula -Jerônimo C. Pellegr
Page 91 and 92:
Page 93 and 94:
Page 95 and 96:
Page 97 and 98:
Page 99 and 100:
Page 101 and 102:
Page 103 and 104:
Page 105 and 106:
Page 107 and 108:
Page 109 and 110:
Page 111 and 112:
Page 113 and 114:
Page 115 and 116:
Page 117 and 118:
Page 119 and 120:
Page 121 and 122:
Page 123 and 124:
Page 125 and 126:
Page 127 and 128:
Page 129 and 130:
Page 131 and 132:
Page 133 and 134:
Page 135 and 136:
Page 137 and 138:
Page 139 and 140:
Page 141 and 142:
Page 143 and 144:
Page 145 and 146:
Page 147 and 148:
Page 149 and 150:
Page 151 and 152:
Page 153 and 154:
Page 155 and 156:
Page 157 and 158:
Page 159 and 160:
Page 161 and 162:
Page 163 and 164:
Page 165 and 166:
Page 167 and 168:
Page 169 and 170:
Page 171 and 172:
Page 173 and 174:
Page 175 and 176:
Page 177 and 178:
Page 179 and 180:
Page 181 and 182:
Page 183 and 184:
Page 185 and 186:
Page 188 and 189:
Page 190 and 191:
Page 192 and 193:
Page 194 and 195:
Page 196 and 197:
Page 198 and 199:
Page 200 and 201:
Page 202 and 203:
Page 204 and 205:
Page 206 and 207:
Page 208 and 209:
Page 210 and 211:
Page 212 and 213:
Page 214 and 215:
Page 216 and 217:
Page 218 and 219:
Page 220 and 221:
Page 222 and 223:
Page 224 and 225:
Page 226 and 227:
Page 228 and 229:
Page 230 and 231:
Page 232 and 233:
Page 234 and 235:
Page 236 and 237:
Page 238 and 239:
Page 240 and 241:
Page 242:
show all

ProgramaÃ§Ã£o Funcional e Concorrente com Scheme

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?