[pt] Este trabalho descreve uma nova linguagem de programação
funcional e sua implementação.
Sloth é uma linguagem funcional pura interpretada, não
estrita, que suporta funções de ordem
elevada como valores de primeira classe, tipos de dados
estruturados e definições múltiplas de
funções selecionadas por casamento de padrões.
Sloth foi criada para o uso no meio acadêmico, em
atividades relacionadas ao uso e à implementação de
linguagens funcionais. Sendo assim, durante o
desenvolvimento de Sloth, uma
grande preocupação com a simplicidade direcionou tanto a
especificação da linguagem quanto
sua implementação. Como resultado, a sintaxe da linguagem é
modesta, mas expressiva o bastante
para permitir seu uso em aplicações práticas. Da mesma
forma, a grande simplicidade e
portabilidade de sua implementação não prejudicam
severamente sua eficiência.
As principais contribuições do trabalho são o projeto e
desenvolvimento de Sloth, uma otimização
à redução de grafos combinatórios como alternativa ao uso
dos combinadores de Turner,
uma arquitetura inovadora para a implementação de
linguagens funcionais interpretadas, baseada
no uso cooperativo de duas linguagens de programação, e
uma análise comparativa entre a
eficiência de Sloth e outras linguagens semelhantes. / [en] This work describes a new functional programming language
and its implementation. Sloth is
a non-strict purely functional interpreted programming
language, which supports high order
functions as first class values, structured data types, and
pattern-matching based function definitions.
Sloth was created for academical use in activities related
to the use and to the implementation
of functional programming languages. Therefore, there has
been a great concern with the
simplicity of both the language specification and its
implementation. As a result, Sloth's syntax
is modest, but expressive enough for practical
applications. Furthermore, the great simplicity
and portability of its implementation has no serious impact
on its performance.
The main contributions of this work are the design and
implementation of Sloth, an optimization
to combinator graph reduction as an alternative to the use
of Turner combinators, a new
architecture for the implementation of interpreted
functional programming languages, based on
the cooperation between two programming languages, and the
performance comparison between
Sloth and similar languages.
| Identifer | oai:union.ndltd.org:puc-rio.br/oai:MAXWELL.puc-rio.br:6521 |
| Date | 01 June 2005 |
| Creators | DIEGO FERNANDES NEHAB |
| Contributors | ROBERTO IERUSALIMSCHY |
| Publisher | MAXWELL |
| Source Sets | PUC Rio |
| Language | Portuguese |
| Detected Language | English |
| Type | TEXTO |
Page generated in 0.002 seconds