Light programming language

Abstract

The increase of computing power in the last decades allowed for the creation and establishment of many high level programming languages such as Java and Python. In these languages, control over the hardware is often neglected in favor of more convenient abstractions for the programmer that offer some important guarantees (such as memory safety). At the same time, older lower level languages, such as C, are still considered one of the few viable options for systems programming. This work proposes a new low level programming language called Light that makes use of meta-programming ideas, commonly present in higher level, interpreted languages, in a compiled one. Light is a lower level, statically typed language that focuses on simplicity, consistent syntax and understandability. It has minimal runtime, no garbage collection and is composed of a simple core with a meta-programming layer built on top. We will present the complete language design and its compiler implementation. The objective of this work is to provide a general purpose system language that uses meta-programming to complement the base language as a tool to the programmer for building software.

O aumento em poder computacional nas últimas decadas permitiram a criação e estabelecimento de diversas linguagens de programação de alto nível como Java e Python. Nessas linguagens, controle sobre o hardware é constantemente esquecido em favor de abstrações mais convenientes para o programador que oferencem algumas garantias importantes (como segurança de memória). Ao mesmo tempo, antigas linguagens de baixo nível como C, ainda são consideradas uma das poucas alternativas para linguagens de sistema. Esse trabalho propõe uma nova linguagem de programação de baixo nível chamada Light que faz uso de conceitos de meta-programação, comumente presentes em linguagens interpretadas de alto nível, em uma linguagem compilada. Light é uma linguagem de baixo nível, estaticamente tipada com foco em simplicidade, consistência de sintaxe e compreensibilidade. Possui ambiente de execução mínimo, não possui coletor de lixo e é composta de um núcleo simples com uma camada de meta-programação construída por cima. Nós apresentaremos o projeto completo da linguagem e a implementação de seu compilador. O objetivo deste trabalho é oferecer uma linguagem de sistema de uso geral que utiliza-se de meta-programação para complementar a linguagem base como uma ferramenta para o programador construir software.