.K Přípona souboru
Zdrojový kód K Frameworku
| Vývojář | Runtime Verification |
| Popularita |
2,0 | 6 hlasů |
Co je soubor K?
Soubor K obsahuje zdrojový kód napsaný v programovacím jazyce K. Vývojáři vytvářejí soubory K pomocí editorů zdrojového kódu, jako je Microsoft Visual Studio Code. Poté je kompilují pomocí kompilátoru K Frameworku, známého jako kompile.
Další informace
K je framework, který vývojářům umožňuje navrhovat a modelovat programovací jazyky a softwarové a hardwarové systémy. Framework zahrnuje vlastní programovací jazyk označovaný jako K.
Vývojáři pracující s K Frameworkem píší programy v jazyce K a ukládají zdrojový kód těchto programů jako soubory K. Každý soubor K obvykle obsahuje jeden nebo více modulů, které definují funkci/funkce programu. Název každého modulu se skládá z jedné nebo více skupin písmen, čísel nebo podtržítek oddělených spojovníky. Moduly se skládají především ze syntaxe a pravidel. Moduly mohou také importovat další moduly uložené v jiných souborech K.
Po dokončení vytváření souboru/souborů K může vývojář použít kompile ke kompilaci souborů. Poté může pomocí krun spustit program, který jeho soubor/soubory K obsahují.
Jak otevřít soubor K
Soubor K můžete otevřít pomocí Microsoft Visual Studio Code (pro více platforem), Vim (Linux), GNU Emacs (pro více platforem) nebo jakéhokoli jiného textového editoru či editoru zdrojového kódu.
Vývojář jazyka K, společnost Runtime Verification, udržuje rozšíření pro VSCode, Vim a Emacs, která usnadňují úpravy souborů K v těchto programech. Informace o stažení těchto rozšíření najdete v oficiální dokumentaci K Frameworku.