valhallac

valhallac

O compilador Valhalla

Linguagem de programação de Valhalla

Este é o analisador e o compilador de Valhalla, que exclui a máquina virtual em que o bytecode compilado é executado, que é, Brokkr VM.

No desenvolvimento (pesado)

[!!] Planejando uma reescrita completa e equilibrando o trabalho.

---

O que foi feito até agora no front-end:

• Analisador
  • Análise lexical, suporte completo do UTF-8, manuseio: identificadores, símbolos, números, strings (UTF-8 com um bom número de fugas), todo tipo de aparelho para: vetores, conjuntos e agrupamento, etc.
  • Infix, notação de prefixo e sufixo.
  • Parsagem correta da precedência, arity e associatividade.
  • Os operadores básicos para o idioma.
  • As chamadas de função adequadas, a aplicação parcial de curry / parcial das funções são devidamente implementadas (funções do tipo Haskell).
  • Mensagens de erro, com linha sofisticada e número da coluna e leitura da linha de origem.
  • Otimizações de dobragem constantes em cálculos numéricos trivialmente dedutíveis no momento da compilação.
  • Casting de tipo de tempo de compilação implícito em situações específicas.
  • Macros (incluindo definições de macro e aplicativo macro).
  • Operadores binários definidos pelo usuário como aliases para funções.
• Compilador (gerando bytecode para montar um arquivo executável).
  • Tabela de constantes e habitantes locais com instruções básicas de push & pop, bem como aritmética básica.
  • Acesso, atribuição e recuperação de variáveis ​​locais no escopo do código-bloco.
  • Gerando funções ao curry.
  • Otimize as funções para não curry quando o curry não é necessário (rastreando a Arity of Function Definition e a Chamada da função).
  • Otimize as funções para não procurar variáveis ​​globalmente quando elas vêm de fechamentos aninhados (fechamentos aninhados implementam currying).
  • Otimize funções para chamadas de cauda.
  • Rastrear os tipos de variáveis ​​e funções.
  • O marechaling, ou seja, serializando o bytecode e armazenando -o em um arquivo para interpretação e execução futuras pela máquina virtual.
  • ...

A VM, ou seja, o back-end para o idioma, está sendo desenvolvido separadamente e progredirá semi-independentemente.

Compilar e executar

Requer ferrugem todas as noites por enquanto.

Na sua concha, na raiz deste repositório, você pode escrever:

cargo run [source-file-to-compile.vh] [-o out-file] [-v]

Ou, peça ao compilador informações de depuração, como fluxos de token, árvores de sintaxe, tabelas de símbolos, instruções de bytecode, & ct., Use --features=debug :

cargo run --features=debug [source-file.vh]

Por exemplo, você pode executar.

cargo run test_source.vh -v   # For verbose output.

para demonstrar compilação com o arquivo de teste incluído ( test_source.vh ). O argumento de um arquivo de origem para compilar é, é claro, necessário.

Exemplo do que o compilador atualmente faz:

current_compiler_test.md

Descrição

Este repositório contém o front-end (compilação de analisador e bytecode) que processa a sintaxe e a semântica do código-fonte. O AST gerado é então compilado para BROKKR VM BYTECODE. A execução do bytecode subsequente é tratada pela VM da linguagem (máquina virtual) chamada Brokkr, que existe separadamente desse repositório.

Valhalla é uma linguagem de programação teórica de conjuntos. Ou seja, é baseado em princípios da teoria dos conjuntos, de uma maneira que todos os tipos são apenas conjuntos e, portanto, tudo é apenas um elemento de um conjunto. O idioma deve dar uma nova maneira de interagir com os tipos e fornece uma maneira intuitiva de pensar sobre eles. Um objetivo é que também possa ser usado para verificar provas e tal teoria de conjuntos.

O idioma é um objetivo geral, mas, em vez de ser totalmente orientado a objetos, ou funcional etc., é apenas baseado na teoria do conjunto. Pelo que reuni, não é um paradigma muito popular ... provavelmente por boas razões, mas ei, pode ser interessante.

Dependências

Para ser significativamente reduzido.