KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ
Podstawy ekosystemu Kret
Od wyboru technologii przez pierwszy projekt do czytania diagnostyki i granic brokera.
Program kursu
- 01
Wybierz odpowiednią technologię
Plugin ma opis w KretL i logikę w KretS. Dane obsługuje KretDB, widok KretUI wraz z KretStyle/KTheme, a graf KretFlow staje się KretS. Nie wybieraj języka po podobieństwie nazwy do znanego narzędzia: zacznij od odpowiedzialności.
BASIC · 10 min - 02
Wersja języka, SDK i Core
FROZEN_1_0 oraz FROZEN_SUPPORTED_SUBSET dotyczą kontraktów języka. SDK jest lokalnym kandydatem rc.3+kret.local.3. Wersja biblioteki, pluginu i hosta to odrębne dane; pomyślny test SDK nie oznacza zgody hosta.
BASIC · 10 min - 03
Przygotuj katalog roboczy
Korzystaj z przypiętego SDK i nowej kopii projektu. kret oznacza Compiler/kret.exe z tego SDK, nie przypadkowe polecenie z PATH. DATA i OUT w instrukcjach są nowymi pustymi katalogami; nie wskazuj danych użytkowników ani Core Production.
BASIC · 10 min - 04
Zrozum strukturę projektu
plugin.kretl leży w korzeniu projektu SDK, Script zawiera moduły .krs, Tests testy, Disk schemat danych, a Ui pliki interfejsu. W przykładach pluginów korzeń SDK znajduje się w src. Katalog polityki hosta pozostaje poza paczką pluginu.
BASIC · 10 min - 05
Prześledź pierwszy program
Odczytaj start handler z manifestu, odszukaj moduł i funkcję KretS, następnie return. Komunikat zwrócony przez handler nie jest wywołaniem log. KretHello nie potrzebuje uprawnień, ponieważ zwraca wartości zamiast zapisywać dziennik.
BASIC · 10 min - 06
Sprawdzenie, build i test to różne kroki
check analizuje źródła i kontrakty. build tworzy artefakty. test sprawdza określone zachowania. run wykonuje lokalny program wyłącznie w odpowiednim środowisku. Witryna udostępnia edycję i zapisane wyniki, nie wykonuje tych poleceń.
BASIC · 10 min - 07
Czytaj błąd zamiast go ukrywać
Zapisz kod, plik, pozycję i warunki wywołania. Porównaj z ERROR_REFERENCE dla właściwej wersji. W testach negatywnych spodziewana odmowa jest wynikiem poprawnym. Nie usuwaj zabezpieczenia lub asercji po to, by zobaczyć PASS.
BASIC · 10 min - 08
Broker, dane i granice dostępu
Logowanie na KretOs.eu, licencja i manifest nie nadają praw Windows ani Core. Broker podejmuje decyzję dla operacji hosta. D-KCS-01 pozostaje OPEN; przykłady lokalne UI/DB nie stają się przez to pluginami produkcyjnymi.
BASIC · 10 min