.K Rozszerzenie pliku
Plik kodu źródłowego K Framework
| Deweloper | Runtime Verification |
| Popularność |
2,0 | 6 Głosów |
Czym jest plik K?
Plik K zawiera kod źródłowy napisany w języku programowania K. Programiści tworzą pliki K za pomocą edytorów kodu źródłowego, takich jak Microsoft Visual Studio Code. Następnie kompilują je za pomocą kompilatora K Framework, znanego jako kompile.
Więcej informacji
K to platforma, która pozwala programistom projektować i modelować języki programowania oraz systemy programowe i sprzętowe. Platforma obejmuje własny język programowania, nazywany K.
Programiści pracujący z K Framework piszą programy w języku K i zapisują kod źródłowy tych programów jako pliki K. Zazwyczaj każdy plik K zawiera jeden lub więcej modułów, które definiują funkcję/funkcje programu. Nazwa każdego modułu składa się z jednej lub większej liczby grup liter, cyfr lub znaków podkreślenia, oddzielonych łącznikami. Moduły składają się przede wszystkim ze składni i reguł. Moduły mogą również importować inne moduły zapisane w innych plikach K.
Po zakończeniu tworzenia pliku/plików K programista może użyć kompile do skompilowania plików. Następnie może użyć krun do uruchomienia programu zawartego w pliku/plikach K.
Jak otworzyć plik K
Plik K można otworzyć za pomocą programu Microsoft Visual Studio Code (wieloplatformowego), Vim (Linux), GNU Emacs (wieloplatformowego) lub dowolnego innego edytora tekstu albo kodu źródłowego.
Twórca K, firma Runtime Verification, udostępnia rozszerzenia do VSCode, Vim i Emacs, które ułatwiają edytowanie plików K w tych programach. Informacje o sposobie pobierania tych rozszerzeń można znaleźć w oficjalnej dokumentacji K Framework.