.NOQ Dateiendung
Noq-Quellcode
| Entwickler | Tsoding |
| Beliebtheit |
1,0 | 1 Stimme |
Was ist eine NOQ-Datei?
Eine NOQ-Datei enthält Quellcode, der in der Programmiersprache Noq geschrieben wurde. Sie wird verwendet, um einen algebraischen Ausdruck mithilfe der in der Datei definierten Regeln umzuwandeln.
Weitere Informationen
Inspiriert vom Beweisverwaltungssystem Coq entwickelte der Entwickler und Twitch-Streamer Tsoding die Programmiersprache Noq (Not Coq) und den Ausdrucks-Transformer. Mit der Noq-Sprache können Entwickler Regeln schreiben und nacheinander anwenden, die einen algebraischen Ausdruck umwandeln. Diese Regeln und die Reihenfolge, in der sie angewendet werden, werden in NOQ-Dateien gespeichert.
Wenn ein Entwickler eine NOQ-Datei mit dem Noq-Ausdrucks-Transformer ausführt, wendet das Programm die in der Datei enthaltenen Umwandlungsregeln in der in der Datei aufgeführten Reihenfolge auf den darin enthaltenen Ausdruck an. Dadurch entsteht ein umgewandelter Ausdruck.
So öffnen Sie eine NOQ-Datei
Sie können eine NOQ-Datei in jedem Texteditor oder Quellcode-Editor öffnen und bearbeiten, z. B. mit Microsoft Visual Studio Code (plattformübergreifend), GNU Emacs (plattformübergreifend) oder GitHub Atom (plattformübergreifend).
Sie können das Programm, das eine NOQ-Datei enthält, mit Noq (plattformübergreifend) ausführen.