A Linguagem Funcional Haskell - Departamento de Informática e ...

um conhecimento prévio desta área terão uma maiorfacilidade no entendimento do artigo do que aquelesque são leigos no assunto citado.Outra questão interessante e que não podedeixar de ser dita é a de que quase todos osproblemas que são implementados em Haskell játiveram uma resolução indutiva construídaanteriormente.Conforme visto em [SCH 92] a indução éuma ferramenta muito poderosa nodesenvolvimento de algoritmos e esta geralmentetraz uma resolução elegante aos problemasapresentados. A Tese de Church, que não seráabordada aqui, comprova que todo e qualquerproblema resolvido imperativamente possui umresolução indutiva, ficando claro então que todosaqueles que quiserem se aventurar e conhecer oHaskell mais a fundo deveriam primeiramentepossuir um conhecimento prévio destas duas áreas,cálculo lambda e indução.Tendo consciência também de que esta éuma linguagem extremamente tipada, torna-sesabido que para aqueles que já tiveram algumcontato como linguagens não tipadas como Perl,Tcl, ou Scheme, infelizmente terão uma dificuldadeainda maior para com o entendimento dalinguagem.Já aqueles que possuem algum tipo deexperiência com linguagens tipadas como Java, C,Modula, ou até mesmo ML, irão ter maiorfacilidade no entendimento quanto ao sistema detipos da linguagem apresentada neste trabalho.Haskell também é conhecido comocalculadora funcional e a forma de avaliação deexpressões é de extrema importância, pois esta éque não deixará que certas expressões resultem emnão-determinismo. Todas as expressões sãoreduzidas tendo como base o cálculo lambda emaiores aprofundamentos sobre este podem serencontrados em [THO 87].Toda e qualquer expressão em Haskell éavaliada como sendo uma equação matemática, ouseja, está pode ser construída, avaliada e resolvidautilizando-se sempre de leis algébricas.Qualquer expressão apresentada aocomputador será entendida como sendo um valor,sendo assim o papel do computador torna-se obter aforma normal ou mais reduzida possível deste valore isto é feito através de b - reduções. Deduz-se entãoque o significado de uma expressão é seu valor e atarefa do computador é encontra - lo.Sessões e ScriptsAo passarmos uma expressão para esta seravaliada pelo computador o processo de avaliação eevolução é chamado sessão, sendo assim tendocomo prompt o ponto de interrogação (?). Algunsexemplos de sessão são apresentados abaixo.Exemplo 1:? 64 expressão apresentada64 valor de retorno apresentado ao usuárioExemplo 2:? 8*8 expressão apresentada64 valor de retorno apresentado ao usuárioNote que nos dois exemplos acima sãopassados expressões, a primeira já esta em suaforma normal, logo o computador não pode fazermais avaliações, então ele somente retorna o valor aapresentado, no entanto a segunda expressão poderser avaliada e evoluída então ele, o computador, faza avaliação e evolução da expressão, até chegar auma forma normal e daí então retorna o valorencontrado. Concluímos então que uma sessão éiniciada com a passagem de uma expressão para ocomputador e só será terminada quando esteretornar algum valor.O nome Script é dado a área de declaraçãode funções e tipos, e alguns exemplos de declaraçãode tipos e funções serão dados logo a seguir, poresta razão não serão dados exemplos por enquanto.Valores e TiposSegundo [HUD 97] expressões denotamvalores e tipos de expressões são apenas termossintáticos que denotam tipos de valores ou só tipos.Todo valor possui um tipo associado, eintuitivamente podemos pensar que tipos sãodefinições de valores.Valores em Haskell são considerados tiposprimários e podem ser passados para funções comoargumentos, e estes irão retornar como respostascolocadas em estruturas de dados.Tipos por outro lado não são consideradosprimários e trazem como sentido principal adescrição de um valor. A associação de um tipo aum valor é chamada "typing".