KretS — samouczek BASIC

KretS — samouczek BASIC

Status 1.0: `FROZEN_SUPPORTED_SUBSET` — zamrożony dokładnie opisany zakres; reszta poza kontraktem 1.0. Gramatyka/wersja: krets-2.0. Status języka nie nadaje uprawnień KCS ani prawa do działania w Production.

Cel: pierwszy plik, podstawowa struktura, najprostszy działający przykład, najczęstszy błąd, sposób uruchomienia.

Narzędzia: kret = <SDK>\Compiler\kret.exe (SDK 1.0.0-rc.3+kret.local.3), kretui-host = <SDK>\UiHost\kretui-host.exe. {DATA}/{OUT} = nowe, puste katalogi.

1. Najczęstsze błędy typów (KRETS-B02-CommonTypeErrors)

Projekt: ../../Examples/BASIC_CommonTypeErrors/ · klasyfikacja VALIDATION_ONLY · Playground LOCAL_VALIDATE

Kroki (katalog roboczy: katalog przykładu):

1. kret check mixed-numbers --json — oczekiwany błąd — w wyniku: KCS-KRS-0320
2. kret check untyped-null --json — oczekiwany błąd — w wyniku: KCS-KRS-0307
3. kret run fixed --policy fixed/host-policy.json --data {DATA} — w wyniku: brak

Wynik tej rundy: PASS — zob. EXPECTED_OUTPUT.txt.

2. Pierwszy program KretS (KRETS-B01-HelloWorld)

Projekt: ../../Examples/BASIC_HelloWorld/ · klasyfikacja RUNNABLE_LOCAL · Playground LOCAL_EXECUTE

Kroki (katalog roboczy: katalog przykładu):

1. kret check . --json — w wyniku: "succeeded": true
2. kret run . --policy host-policy.json --data {DATA} — w wyniku: Witaj, Kret!

Wynik tej rundy: PASS — zob. EXPECTED_OUTPUT.txt.