.NOQ Extension de fichier
Code source Noq
| Développeur | Tsoding |
| Popularité |
1,0 | 1 Vote |
Qu'est-ce qu'un fichier NOQ ?
Un fichier NOQ contient du code source écrit dans le langage de programmation Noq. Il est utilisé pour transformer une expression algébrique à l'aide de règles définies dans le fichier.
Plus d'informations
Inspiré du système de gestion de preuves Coq, le développeur et streameur Twitch Tsoding a créé le langage de programmation Noq (Not Coq) et son transformateur d'expressions. Avec le langage Noq, les développeurs peuvent écrire et appliquer séquentiellement des règles qui transforment une expression algébrique. Ces règles, ainsi que l'ordre dans lequel elles sont appliquées, sont enregistrés dans des fichiers NOQ.
Lorsqu'un développeur exécute un fichier NOQ à l'aide du transformateur d'expressions Noq, le programme applique les règles de transformation qu'il contient à l'expression qu'il contient, dans l'ordre indiqué dans le fichier. Cela produit une expression transformée.
Comment ouvrir un fichier NOQ
Vous pouvez ouvrir et modifier un fichier NOQ dans n'importe quel éditeur de texte ou éditeur de code source, tel que Microsoft Visual Studio Code (multiplateforme), GNU Emacs (multiplateforme) ou GitHub Atom (multiplateforme).
Vous pouvez exécuter le programme contenu dans un fichier NOQ à l'aide de Noq (multiplateforme).