The V language

Abstract

Functional programming languages are known for their ease of use and conciseness. Pure functional languages are a subset of these languages and provide further improvements in certain areas, such as making it easier to reason about programs due to referential transparency. One area in which pure functional languages usually lack, however, is when manipulating records. We present the V language, a purely functional programming language with a novel approach to record manipulation. By using polymorphic accessors, V attempts to solve issues commonly found when manipulating records in purely functional programming languages. This approach required the use of traits to support ad-hoc polymorphism in the language. This work presents a complete picture of the V language. A formal speci cation is given, with syntax, semantics and a type-inference system. The current implementation, comprising of an interpreter with an interactive read-eval-print loop (REPL), is shown, along with a brief analysis of some preliminary tests.

Linguagens de programação funcionais são conhecidas por sua facilidade de uso e concisão. As linguagens funcionais puras são um subconjunto dessas linguagens e fornecem melhorias adicionais em determinadas áreas, como facilitar raciocínio sobre programas devido à transparência referencial. Uma área na qual linguagens funcionais puras geralmente pecam, no entanto, é a manipulação de registros. Apresentamos a linguagem V, uma linguagem de programação puramente funcional com uma nova abordagem a registros. Usando acessores polimór cos, V tenta resolver problemas comumente encontrados quando manipulando registros em linguagens de programação puramente funcionais. Essa abordagem exigiu o uso de traits para prover polimor smo ad-hoc para a linguagem. Este trabalho apresenta uma visão completa da linguagem V. Uma especi cação formal é dada, com sintaxe, semântica e um sistema de inferência de tipos. A implementação atual, composta de um interpretador com um read-eval-print loop (REPL), é mostrada, juntamente com uma breve análise de alguns testes preliminares.