KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

KRETS-I01-DataProcessing — Przetwarzanie danych: rekordy, listy, mapy, błędy

🇬🇧 English version below.

Pole	Wartość
Technologia	KretS
Poziom	INTERMEDIATE
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

Parsowanie wierszy tekstu do rekordów (record), filtrowanie i sumowanie w pętli for, grupowanie w Map<String, Int>, typy nullable (parseInt → Int64?, Map.get → V?) z orElse, obsługa błędu try/catch i throw, stała const.

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 — walidacja
kret run . --policy host-policy.json --data {DATA} — uruchomienie

Oczekiwany wynik

„przyjęte 4, odrzucone 2, duże 1; ala=75, bob=135” — mapa jest przechodzona po kluczach rosnąco (deterministycznie).

Najczęstszy błąd

Odczyt .isOk/.value albo arytmetyka na wartości Int64? bez orElse/unwrap → KCS-KRS-0322 / KCS-KRS-0320 (sprawdzone w tej rundzie eksportu).

Ź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/INTERMEDIATE_DataProcessing/README.md
SHA-256 FD65906CB88646F6823259459E08D881B862862DE7780C9D3E1C82C9846F9E0B

Oryginalne ź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 →