valhallac

valhallac

Le compilateur Valhalla

Langage de programmation Valhalla

Il s'agit de l'analyseur et du compilateur pour Valhalla, qui exclut la machine virtuelle sur laquelle le bytecode compilé fonctionne, qui est Brokkr VM.

Dans le développement (lourd)

[!!] Planifier une réécriture complète et un travail d'équilibrage.

---

Ce qui a été fait jusqu'à présent sur le front-end:

• Analyseur
  • Analyse lexicale, support UTF-8 complet, manipulation: identificateurs, symboles, nombres, chaînes (UTF-8 avec un bon nombre d'évasions), toutes sortes d'accès à: vecteurs, ensembles et regroupement, etc.
  • Infix, préfixe et notation de suffixe.
  • Analyse correcte de la priorité, de l'arité et de l'associativité.
  • Les opérateurs de base pour la langue.
  • Les appels de fonction appropriés, le curry / l'application partielle des fonctions sont correctement implémentés (fonctions de type Haskell).
  • Messages d'erreur, avec ligne de fantaisie et numéro de colonne et lecture de la ligne source.
  • Optimisations de pliage constantes sur les calculs numériques inductibles trivialement au moment de la compilation.
  • Le type de type de temps de compilation implicite dans des situations spécifiques.
  • Macros (y compris les définitions de macro et les applications macro).
  • Opérateurs binaires définis par l'utilisateur comme alias aux fonctions.
• Compilateur (génération de bytecode pour assembler un fichier exécutable).
  • Tableau des constantes et des locaux avec des instructions de base push et pop ainsi que de l'arithmétique de base.
  • Accès, affectation et récupération des variables locales dans la portée du bloc de code.
  • Générer des fonctions au curry.
  • Optimiser les fonctions pour ne pas curry lorsque le curry n'est pas nécessaire (en suivant la définition de la fonction de la fonction et l'appel de la fonction).
  • Optimiser les fonctions pour ne pas rechercher à l'échelle mondiale des variables lorsqu'elles proviennent de fermetures imbriquées (les fermetures imbriquées implémentent le curry).
  • Optimiser les fonctions pour les appels de queue.
  • Suivre les types de variables et de fonctions.
  • Marshaling, c'est-à-dire sérialiser le bytecode et le stocker dans un fichier pour l'interprétation et l'exécution futures par la machine virtuelle.
  • ...

La machine virtuelle, c'est-à-dire le backend de la langue, est développée séparément et progressera semi-indépendante.

Compiler et courir

Nécessite de la rouille tous les soirs pour l'instant.

Dans votre shell, dans la racine de ce référentiel, vous pouvez écrire:

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

Ou, demandez au compilateur d'imprimer des informations de débogage comme des flux de jetons, des arbres de syntaxe, des tables de symbole, des instructions de bytecode, & ct., use --features=debug :

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

Par exemple, vous pouvez courir.

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

pour démontrer la compilation avec le fichier de test inclus ( test_source.vh ). L'argument d'un fichier source à compiler est, bien sûr, nécessaire.

Exemple de ce que fait actuellement le compilateur:

current_compiler_test.md

Description

Ce référentiel contient la compilation frontale (compilation de Parser et Bytecode) qui traite la syntaxe et la sémantique du code source. L'AST généré est ensuite compilé en bytecode VM Brokkr. L'exécution du bytecode ultérieur est gérée par la machine virtuelle du langage (machine virtuelle) appelée Brokkr, qui existe séparément de ce référentiel.

Valhalla est un langage de programmation théorique. C'est-à-dire qu'il est basé sur les principes de la théorie des ensembles, d'une manière que tous les types ne sont que des ensembles, et donc tout n'est qu'un élément d'un ensemble. La langue est destinée à donner une nouvelle façon d'interagir avec les types et fournit une façon intuitive d'y penser. Un objectif est qu'il puisse également être utilisé pour vérifier les preuves et autres dans et autour de la théorie des ensembles.

Le langage est un objectif général, mais au lieu d'être totalement orienté objet, ou fonctionnel, etc., il est simplement basé sur la théorie. D'après ce que j'ai rassemblé, ce n'est pas un paradigme très populaire ... probablement pour une bonne raison, mais bon, cela pourrait être intéressant.

Dépendances

Pour être considérablement réduit.