KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ
KRETS-B01-HelloWorld — Pierwszy program KretS
KRETS-B01-HelloWorld — Pierwszy program KretS
🇬🇧 English version below.
| Pole | Wartość |
|---|---|
| Technologia | KretS |
| Poziom | BASIC |
| Klasyfikacja | RUNNABLE_LOCAL — Uruchamialny lokalnie (SDK, izolowany proces pluginu) |
| Playground | LOCAL_EXECUTE — lokalnie: wykonanie w KretStudio / SDK (publicznie: tylko statycznie) |
| SDK | 1.0.0-rc.3+kret.local.3 (kandydat lokalny, niepodpisany) |
| Wynik testu | TEST_RESULTS.json, rzeczywisty wynik: EXPECTED_OUTPUT.txt |
Co pokazuje
Moduł Main, funkcja Start zwracająca String, zmienna let, łączenie tekstów i wpis w dzienniku (log.info, wymaga logs.own.write).
Pliki
| Plik |
|---|
Script/Main.krs |
host-policy.json |
plugin.kretl |
Jak uruchomić
Katalog roboczy: katalog tego przykładu. kret oznacza <SDK>\Compiler\kret.exe, kretui-host — <SDK>\UiHost\kretui-host.exe. {DATA} / {OUT} to nowe, puste katalogi poza projektem. Wymagania: REQUIREMENTS.md.
kret check . --json— walidacjakret run . --policy host-policy.json --data {DATA}— uruchomienie
Oczekiwany wynik
Wynik start: „Witaj, Kret!”, ten sam tekst w dzienniku pluginu.
Najczęstszy błąd
Użycie log.info bez logs.own.write w manifeście → błąd kompilacji KCS-KRL-0302; bez przyznania w polityce hosta → odmowa w czasie wykonania.
Źródło i wersja
Zweryfikowany import PUBLIC_CANDIDATE. Identyfikatory źródeł odnoszą się do eksportu i nie dają dostępu do plików serwera.
01_LANGUAGES/KretS/Examples/BASIC_HelloWorld/README.md
SHA-256 62234F3E711AA0ADCE477BB670E5F4933C8348429785A86CDA24C4D86B0A0B95Oryginalne źródło jest dwujęzyczne; terminy techniczne i polecenia zachowano.
Zaloguj się na konto użytkownika, aby zapisywać postęp i zakładki. Konta obsługi mogą czytać bez zapisu postępu. Logowanie →