valhallac

valhallac

El compilador de Valhalla

Lenguaje de programación de Valhalla

Este es el analizador y el compilador de Valhalla, que excluye la máquina virtual en la que se ejecuta el bytecodo compilado, que es, Brokkr VM.

En el desarrollo (pesado)

[!!] Planeando una reescritura completa y un trabajo de equilibrio.

---

Lo que se ha hecho hasta ahora en el front-end:

• Pasador
  • Análisis léxico, soporte completo de UTF-8, manejo: identificadores, símbolos, números, cadenas (UTF-8 con un buen número de escapes), todo tipo de aparatos ortopédicos para: vectores, conjuntos y agrupaciones, etc.
  • Infix, prefijo y notación de sufijo.
  • El análisis correcto de la precedencia, la aridad y la asociatividad.
  • Los operadores base para el idioma.
  • Las llamadas de función adecuadas, la aplicación de curry / parcial de las funciones se implementan correctamente (funciones similares a Haskell).
  • Mensajes de error, con una línea elegante y número de columna y lectura de la línea de origen.
  • Optimizaciones de plegamiento constantes en cálculos numéricos trivialmente deducibles en el momento de la compilación.
  • Casting de tipo de tiempo de compilación implícito en situaciones específicas.
  • Macros (incluidas las definiciones macro y la aplicación macro).
  • Operadores binarios definidos por el usuario como alias de funciones.
• Compilador (generar bytecode para ensamblar un archivo ejecutable).
  • Tabla de constantes y locales con instrucciones básicas de Push & POP, así como aritmética básica.
  • Acceso, asignación y recuperación de variables locales dentro del alcance de bloque de código.
  • Generación de funciones curry.
  • Optimizar las funciones para no curry cuando el curry no es necesario (mediante el seguimiento de la aridad de la definición y la llamada de la función de la función).
  • Optimizar las funciones para no buscar variables cuando provengan de cierres anidados (cierres anidados implementan el curry).
  • Optimizar las funciones para las llamadas de cola.
  • Seguimiento de tipos de variables y de funciones.
  • Mariscal, es decir, serialización del bytecode y almacenándolo en un archivo para la interpretación y ejecución futura de la máquina virtual.
  • ...

La VM, es decir, el backend del idioma, se está desarrollando por separado y progresará de manera semi-independiente.

Compilar y ejecutar

Requiere óxido por la noche por ahora.

En su shell, en la raíz de este repositorio, puede escribir:

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

O bien, haga que el compilador imprima información de depuración como transmisiones de token, árboles de sintaxis, tablas de símbolos, instrucciones de bytecode, & ct., Use --features=debug :

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

Por ejemplo, puedes ejecutar.

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

Para demostrar la compilación con el archivo de prueba incluido ( test_source.vh ). El argumento de un archivo de origen para compilar es, por supuesto, necesario.

Ejemplo de lo que hace actualmente el compilador:

actual_compiler_test.md

Descripción

Este repositorio contiene el front-end (compilación analizador y bytecode) que procesa la sintaxis y la semántica del código fuente. El AST generado se compila en BROKKR VM Bytecode. La ejecución del bytecodo posterior es manejada por la VM del idioma (máquina virtual) llamada Brokkr, que existe por separado de este repositorio.

Valhalla es un lenguaje de programación teórico establecido. Es decir, se basa en los principios de la teoría del set, de una manera que todos los tipos son solo conjuntos y, por lo tanto, todo es solo un elemento de un conjunto. El lenguaje está destinado a dar una nueva forma de interactuar con los tipos y proporciona una forma intuitiva de pensar en ellos. Un objetivo es que también se puede usar para verificar las pruebas y la teoría del conjunto en y alrededor.

El lenguaje es un propósito general, pero en lugar de estar totalmente orientado a objetos, o funcional, etc., solo se basa en la teoría. Por lo que he reunido, no es un paradigma muy popular ... probablemente por una buena razón, pero bueno, podría ser interesante.

Dependencias

Ser significativamente reducido.