Paradigma Imperativo

Para SlLVA 2008, o advento da linguagem de programação LISP, idealizada por John McCarthy entre 1956 e 1958 com o objetivo de ser usada em Inteligência Artificial (IA) e em processamento algébrico simbólico, marcou o inıcio do chamado paradigma funcional de programação. Os fundamentos matemáticos deste paradigma encontram-se no calculo-lambda, criado por Alonzo Church, na década de 30. A estrutura do LISP permite que sejam feitas modificações e extensões a linguagem, ou ate mesmo a criação de novos dialetos da linguagem, com certa facilidade. Devido a esta característica particular, diversos dialetos do LISP apareceram em instituições de ensino, empresas privadas, grupos de pesquisas ou ate mesmo como projetos pessoais, sendo que, inicialmente, pouca ou nenhuma padronização foi adotada para o LISP. Muitos destes dialetos se tornaram obsoletos ou são encontrados somente em alguns sistemas operacionais ou softwares específicos. Scheme e Common Lisp são os dois maiores dialetos do LISP em uso atualmente.
Para CASAROTTO e CHISTE 2003, Scheme é uma versão estática e recursiva da linguagem de programação Lisp inventada por Guy Lewis Steele Jr. e Gerald Jay Sussman. Ele foi desenvolvido para apresentar uma semântica simples e clara, apresentando poucas formas diferentes de formar expressões. Uma grande variedade de paradigmas de programação é encontrada em Scheme, entre eles, programação funcional, e programação por passagem de mensagens. Scheme foi uma das primeiras linguagens de programação a incorporar lambda cálculo nos procedimentos da classe principal. Também proporciona a usabilidade de regras de escopo estático e estruturas em bloco em uma linguagem tipada. Scheme foi o primeiro grande dialeto de Lisp a distinguir procedimentos de expressões lambda e símbolos, a usar um único ambiente léxico para todas as variáveis, e a validar a posição do operador de uma chamada de procedimento do mesmo modo de uma posição de operando. Confiando totalmente em chamadas de