KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

Kontrakty typów i diagnostyka

ADVANCED40 min

Postęp nauki 0 / 3

Zaloguj się na konto użytkownika, aby zachować postęp.

Czego się nauczysz

Prześledź źródła i wyjaśnij opisany kontrakt.
Porównaj TestsAndDiagnostics z AsyncStreamsEvents. Zidentyfikuj kontrolę typów, oczekiwany błąd i ograniczenie wykonania; nie zastępuj błędu przypadkowym poprawnym wynikiem.

Wymagania wstępne

Ukończ Podstawy i wcześniejszy poziom tej ścieżki.

Wyjaśnienie krok po kroku

Zaawansowane przykłady obejmują klasy, interfejsy, generyki oraz async/strumienie/zdarzenia wyłącznie w zamrożonym zakresie KretS 2.0. Nazwa podobna do innego języka nie oznacza identycznej semantyki. Czytaj ograniczenia przy konstrukcji i osobno oceniaj bramki hosta.

Praca z kodem źródłowym

Zadania, strumienie i zdarzenia [2.0]

`async fn` i `await` (zadania współbieżne, nie równoległe), `Stream<Int>` z buforem i `for await`, `timeout` obsłużony w `try`/`catch`, deklaracja `event`, handler `on`, `emit` oraz `subscribe … with`.

Plik

1module Main
2
3// Deklaracja zdarzenia: nazwa z kropkami i typowane argumenty.
4event order.placed(amount: Int)
5
6async fn produce(target: Stream<Int>, count: Int) {
7    for i in range(1, count + 1) {
8        await target.send(i * i)
9    }
10    target.close()
11}
12
13async fn slow(ms: Int) -> Int {
14    await delay(milliseconds(ms))
15    return ms
16}
17
18// Handler zdarzenia (może leżeć w dowolnym module pluginu).
19on order.placed(amount: Int) {
20    log.info("handler: zamówienie " + toString(amount))
21}
22
23// Dodatkowy subskrybent o zgodnej sygnaturze, dołączany i odłączany w czasie działania.
24fn extra(amount: Int) {
25    log.info("subskrybent: zamówienie " + toString(amount))
26}
27
28fn Start() -> String {
29    let first = slow(20)
30    let second = slow(30)
31    let sum = await first + await second
32
33    let squares: Stream<Int> = stream(2)
34    produce(squares, 4)
35    var total = 0
36    for await value in squares {
37        total = total + value
38    }
39
40    var late = "nie"
41    try {
42        let never = await timeout(milliseconds(10), slow(500))
43        late = toString(never)
44    } catch problem {
45        late = "przekroczony"
46    }
47
48    subscribe order.placed with extra
49    emit order.placed(5)
50    unsubscribe order.placed with extra
51    emit order.placed(1)
52
53    return "zadania " + toString(sum) + "; strumień " + toString(total) + "; limit " + late
54}
55
56fn Shutdown() {
57}
58

Czytanie kodu linia po linii

Objaśnienia struktury nie są walidacją semantyczną. Szczegółowy kontrakt opisują referencje i README przykładu.

module MainDeklaracja modułu KretS; porównaj nazwę z nazwą pliku.
Pusta linia oddziela fragmenty źródła.
// Deklaracja zdarzenia: nazwa z kropkami i typowane argumenty.Komentarz autora; nie jest wykonywany.
event order.placed(amount: Int)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
Pusta linia oddziela fragmenty źródła.
async fn produce(target: Stream<Int>, count: Int) {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
for i in range(1, count + 1) {Sterowanie lub obsługa błędu KretS; szczegóły określa referencja tej konstrukcji.
await target.send(i * i)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
target.close()Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
async fn slow(ms: Int) -> Int {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
await delay(milliseconds(ms))Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
return msZwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
// Handler zdarzenia (może leżeć w dowolnym module pluginu).Komentarz autora; nie jest wykonywany.
on order.placed(amount: Int) {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
log.info("handler: zamówienie " + toString(amount))Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
// Dodatkowy subskrybent o zgodnej sygnaturze, dołączany i odłączany w czasie działania.Komentarz autora; nie jest wykonywany.
fn extra(amount: Int) {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
log.info("subskrybent: zamówienie " + toString(amount))Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
fn Start() -> String {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
let first = slow(20)Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.
let second = slow(30)Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.
let sum = await first + await secondWiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.
Pusta linia oddziela fragmenty źródła.
let squares: Stream<Int> = stream(2)Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.
produce(squares, 4)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
var total = 0Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.
for await value in squares {Sterowanie lub obsługa błędu KretS; szczegóły określa referencja tej konstrukcji.
total = total + valueOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
var late = "nie"Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.
try {Sterowanie lub obsługa błędu KretS; szczegóły określa referencja tej konstrukcji.
let never = await timeout(milliseconds(10), slow(500))Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.
late = toString(never)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
} catch problem {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
late = "przekroczony"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
subscribe order.placed with extraOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
emit order.placed(5)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
unsubscribe order.placed with extraOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
emit order.placed(1)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
Pusta linia oddziela fragmenty źródła.
return "zadania " + toString(sum) + "; strumień " + toString(total) + "; limit " + lateZwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
fn Shutdown() {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.

Oczekiwany wynik: „zadania 50; strumień 30; limit przekroczony”; w dzienniku dwa wpisy handlera i jeden wpis subskrybenta (po `unsubscribe` subskrybent nie dostaje drugiego zdarzenia).

Typowy błąd: Oczekiwanie równoległości: wszystkie zadania jednej maszyny działają na jednym wątku. Maszyna wykrywa zakleszczenie (wszystkie zadania czekają) i zgłasza błąd.

Instrukcja, wersje i zapisane wyniki →

Klasy, interfejsy, dziedziczenie, generyki [2.0]

Interfejs, klasa z konstruktorem `init`, dziedziczenie z `super(...)` i `override`, klasa generyczna `Pair<A, B>`, funkcja generyczna z ograniczeniem `T: Shape`, polimorfizm przez interfejs. Kod bazuje na oficjalnym przykładzie SDK `ObjectOriented`.

Plik

1module Main
2
3interface Shape {
4    fn area() -> Int
5    fn name() -> String
6}
7
8class Rect : Shape {
9    width: Int
10    height: Int
11    init(width: Int, height: Int) {
12        this.width = width
13        this.height = height
14    }
15    fn area() -> Int {
16        return this.width * this.height
17    }
18    fn name() -> String {
19        return "prostokąt"
20    }
21}
22
23class Square : Rect {
24    init(side: Int) {
25        super(side, side)
26    }
27    override fn name() -> String {
28        return "kwadrat"
29    }
30}
31
32class Pair<A, B> {
33    first: A
34    second: B
35    init(first: A, second: B) {
36        this.first = first
37        this.second = second
38    }
39    fn swap() -> Pair<B, A> {
40        return Pair(this.second, this.first)
41    }
42}
43
44fn largest<T: Shape>(items: List<T>) -> T {
45    var best = items.get(0)
46    for item in items {
47        if item.area() > best.area() {
48            best = item
49        }
50    }
51    return best
52}
53
54fn Start() -> String {
55    let shapes: List<Shape> = [Rect(2, 3), Square(4), Rect(1, 10)]
56    let biggest = largest(shapes)
57    let pair = Pair("pole", biggest.area()).swap()
58    var kinds: List<String> = []
59    for s in shapes {
60        if s is Square {
61            kinds.add("Square")
62        } else {
63            kinds.add("Rect")
64        }
65    }
66    return biggest.name() + " " + toString(pair.first) + " (" + pair.second + "); typy: " + kinds.join(",")
67}
68
69fn Shutdown() {
70}
71

Czytanie kodu linia po linii

Objaśnienia struktury nie są walidacją semantyczną. Szczegółowy kontrakt opisują referencje i README przykładu.

module MainDeklaracja modułu KretS; porównaj nazwę z nazwą pliku.
Pusta linia oddziela fragmenty źródła.
interface Shape {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
fn area() -> IntSygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
fn name() -> StringSygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
class Rect : Shape {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
width: IntOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
height: IntOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
init(width: Int, height: Int) {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
this.width = widthOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
this.height = heightOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
fn area() -> Int {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
return this.width * this.heightZwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
fn name() -> String {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
return "prostokąt"Zwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
class Square : Rect {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
init(side: Int) {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
super(side, side)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
override fn name() -> String {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
return "kwadrat"Zwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
class Pair<A, B> {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
first: AOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
second: BOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
init(first: A, second: B) {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
this.first = firstOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
this.second = secondOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
fn swap() -> Pair<B, A> {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
return Pair(this.second, this.first)Zwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
fn largest<T: Shape>(items: List<T>) -> T {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
var best = items.get(0)Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.
for item in items {Sterowanie lub obsługa błędu KretS; szczegóły określa referencja tej konstrukcji.
if item.area() > best.area() {Sterowanie lub obsługa błędu KretS; szczegóły określa referencja tej konstrukcji.
best = itemOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
return bestZwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
fn Start() -> String {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
let shapes: List<Shape> = [Rect(2, 3), Square(4), Rect(1, 10)]Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.
let biggest = largest(shapes)Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.
let pair = Pair("pole", biggest.area()).swap()Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.
var kinds: List<String> = []Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.
for s in shapes {Sterowanie lub obsługa błędu KretS; szczegóły określa referencja tej konstrukcji.
if s is Square {Sterowanie lub obsługa błędu KretS; szczegóły określa referencja tej konstrukcji.
kinds.add("Square")Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
} else {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
kinds.add("Rect")Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
return biggest.name() + " " + toString(pair.first) + " (" + pair.second + "); typy: " + kinds.join(",")Zwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
fn Shutdown() {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.

Oczekiwany wynik: „kwadrat 16 (pole); typy: Rect,Square,Rect” oraz listing bytecode z funkcją `Start`.

Typowy błąd: Nadpisanie metody bez `override` albo próba przeciążenia funkcji (nazwy funkcji są unikalne) — błąd kompilacji.

Instrukcja, wersje i zapisane wyniki →

Testy `kret test` i diagnostyka (EXPERIMENTAL)

Moduły testowe w `Tests/` (funkcje `test…` bez parametrów i bez wyniku). Porażka = `throw`, pominięcie = `throw "SKIP: …"`. `kret test --list` tylko kompiluje i wypisuje plan, `kret test --json` wykonuje każdy moduł w świeżym, izolowanym procesie pluginu. `kret test` ma status EXPERIMENTAL (`kret-test/1`).

Plik

1module Main
2
3fn clamp(value: Int, low: Int, high: Int) -> Int {
4    if value < low {
5        return low
6    }
7    if value > high {
8        return high
9    }
10    return value
11}
12
13fn Start() -> Int {
14    return clamp(150, 0, 100)
15}
16
17fn Shutdown() {
18}
19

Czytanie kodu linia po linii

Objaśnienia struktury nie są walidacją semantyczną. Szczegółowy kontrakt opisują referencje i README przykładu.

module MainDeklaracja modułu KretS; porównaj nazwę z nazwą pliku.
Pusta linia oddziela fragmenty źródła.
fn clamp(value: Int, low: Int, high: Int) -> Int {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
if value < low {Sterowanie lub obsługa błędu KretS; szczegóły określa referencja tej konstrukcji.
return lowZwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
if value > high {Sterowanie lub obsługa błędu KretS; szczegóły określa referencja tej konstrukcji.
return highZwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
return valueZwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
fn Start() -> Int {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
return clamp(150, 0, 100)Zwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
fn Shutdown() {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.

Oczekiwany wynik: Plan zawiera 3 testy; przebieg: 2 × PASS, 1 × SKIP, status `PASSED` (kod 0). `run` zwraca 100.

Typowy błąd: Funkcja `testX(x: Int)` z parametrem nie jest testem — dostaje status ERROR. Brak testów albo pusty filtr to `NO_TESTS` (kod 6), który **nie jest sukcesem**.

Instrukcja, wersje i zapisane wyniki →

Materiały źródłowe do tego tematu

Przeczytaj powiązane rozdziały. Kod i kontrakty zachowano z importu; historia źródeł jest dostępna przy każdym rozdziale.

KretS — zgodność i wersje / compatibility and versions

Polski

Kontrakt: krets-2.0, KBC 2 (format 1 nadal czytany).
KretScript 1.0 (.kret) — LEGACY_COMPATIBILITY, bez automatycznej migracji; usunięte struct i moduły API 1.0 (Kret.UI, Kret.Console).
Zmiana znaczenia konstrukcji 2.0 wymaga krets-3.0.
SDK sdk-info nadal raportuje syntax: PROVISIONAL dla KretS — rozbieżność z LANGUAGE_FREEZE (zapisana w raporcie).
Kandydat rc.3+kret.local.3 dodaje fromUnixSeconds i moduł Kret.Hardware (addytywnie).

Otwórz cały rozdział ze źródłem →

KretS — kody diagnostyczne / diagnostic codes

Kod / code	Polski
`KCS-KRS-0101…0331`	błędy składni i typów (znaczenie kodów `KRSxxxx` z 1.0 zachowane)
`KCS-KRS-0307`	`null`/pusta lista bez znanego typu
`KCS-KRS-0320`	operator wymaga tych samych typów (brak konwersji niejawnych)
`KCS-KRS-0322`	wartość `T?` może być `null` — użyj `unwrap`/`orElse`
`KCS-KRS-1003`	nieznana nazwa
`KCS-KRS-1010`	nieznany moduł hosta (np. `Kret.Hardware` w starszym SDK)
`KCS-KRS-1012`	przekroczony limit kompilatora (funkcje, rekordy, zagnieżdżenie)
`KCS-KRS-1028 / 1029`	`emit` nieznanego zdarzenia / `const` nie-literał
`KCS-VM-0001 / 0002 / 0006 / 0007`	dzielenie przez zero / przepełnienie / złe rzutowanie / wynik nieskończony
`KCS-PERM-*`	odmowa brokera (brak przyznania)

Format: kret-diagnostics/1 (kod, plik, wiersz, kolumna, zakres) / (code, file, line, column, range).

Otwórz cały rozdział ze źródłem →

KretS — bezpieczeństwo / security

Polski

Każda operacja hosta przechodzi przez Security Broker i KCS przy każdym wywołaniu.
Kod nie ma dostępu do plików, sieci, procesów ani SQL.
Proces pluginu: Job Object + ograniczony token; --isolation appcontainer / Core: AppContainer.
Narzędzia KretAI działają z uprawnieniami swojej deklaracji, nie agenta.
Limity zasobów nie są przechwytywalne przez try/catch.

Otwórz cały rozdział ze źródłem →

KretS — rozwiązywanie problemów / troubleshooting

Problem (PL)	Rozwiązanie (PL)
`KCS-KRS-0320` przy `1 + 2.0`	jawna konwersja: `toFloat(1) + 2.0`
`KCS-KRS-0322` przy `parseInt(x).isOk`	`parseInt` zwraca `Int64?` — `orElse(parseInt(x), -1)`
odmowa `KCS-PERM-…` w czasie `run`	uprawnienie w manifeście + przyznanie w polityce hosta (`--policy`)
test „nie jest testem”	funkcja `test…` bez parametrów, bez wyniku, w `Tests/`
Zadania „zawieszają się”	wszystkie zadania czekają = zakleszczenie (błąd maszyny); użyj `timeout`

Otwórz cały rozdział ze źródłem →

KretS — samouczek ADVANCED

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: integracja z Core i innymi językami, KretDB, bezpieczny dostęp do API, pluginy, stan, testy, diagnostyka, uprawnienia.

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. Zadania, strumienie i zdarzenia [2.0] (`KRETS-A02-AsyncStreamsEvents`)

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

Kroki (katalog roboczy: katalog przykładu):

kret check . --json — w wyniku: "succeeded": true
kret run . --policy host-policy.json --data {DATA} — w wyniku: 30; limit przekroczony

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

2. Klasy, interfejsy, dziedziczenie, generyki [2.0] (`KRETS-A01-ClassesInterfacesGenerics`)

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

Kroki (katalog roboczy: katalog przykładu):

kret check . --json — w wyniku: "succeeded": true
kret run . --policy host-policy.json --data {DATA} — w wyniku: kwadrat 16
kret disasm . — w wyniku: Start

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

3. Testy `kret test` i diagnostyka (EXPERIMENTAL) (`KRETS-A03-TestsAndDiagnostics`)

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

Kroki (katalog roboczy: katalog przykładu):

kret test . --list — w wyniku: testClampEdges
kret test . --json --data {DATA} --report {OUT}/report.json --junit {OUT}/junit.xml — w wyniku: "PASSED"
kret run . --policy host-policy.json --data {DATA} — w wyniku: 100

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

Otwórz cały rozdział ze źródłem →

Ćwiczenie i sprawdzenie wiedzy

Porównaj TestsAndDiagnostics z AsyncStreamsEvents. Zidentyfikuj kontrolę typów, oczekiwany błąd i ograniczenie wykonania; nie zastępuj błędu przypadkowym poprawnym wynikiem.

Twoje wyjaśnienie lub rozwiązanie — prywatny szkic na tej stronieSzkic nie jest wysyłany na serwer i znika po opuszczeniu lekcji. Przed wyjściem możesz go skopiować.

Podpowiedzi

KretS (oficjalnie KretScript, generacja 2.0) to statycznie typowany język logiki pluginów. Kompiluje się do bytecode KBC 2 i działa w maszynie z weryfikatorem w osobnym procesie pluginu. Operacje hosta (dziennik, KretDB, konfiguracja, AI, mosty) są dostępne tylko przez brokera i tylko przy uprawnieniu z KretL.
Odczytaj ograniczenia i oczekiwane błędy z dostarczonego samouczka; check i run są oddzielnymi krokami.

Omówienie rozwiązania

Odpowiedź oprzyj na pokazanym kodzie i rozdziale źródłowym. Zaawansowane przykłady obejmują klasy, interfejsy, generyki oraz async/strumienie/zdarzenia wyłącznie w zamrożonym zakresie KretS 2.0. Nazwa podobna do innego języka nie oznacza identycznej semantyki. Czytaj ograniczenia przy konstrukcji i osobno oceniaj bramki hosta.

Podsumowanie i następny krok

Zaloguj się na konto użytkownika, aby zapisywać postęp i zakładki. Konta obsługi mogą czytać bez zapisu postępu. Logowanie →

Czego się nauczysz

Wyjaśnienie krok po kroku

Praca z kodem źródłowym

Zadania, strumienie i zdarzenia [2.0]

Klasy, interfejsy, dziedziczenie, generyki [2.0]

Testy `kret test` i diagnostyka (EXPERIMENTAL)

Materiały źródłowe do tego tematu

KretS — zgodność i wersje / compatibility and versions

Polski

KretS — kody diagnostyczne / diagnostic codes

KretS — bezpieczeństwo / security

Polski

KretS — rozwiązywanie problemów / troubleshooting

KretS — samouczek ADVANCED

1. Zadania, strumienie i zdarzenia [2.0] (KRETS-A02-AsyncStreamsEvents)

2. Klasy, interfejsy, dziedziczenie, generyki [2.0] (KRETS-A01-ClassesInterfacesGenerics)

3. Testy kret test i diagnostyka (EXPERIMENTAL) (KRETS-A03-TestsAndDiagnostics)

Ćwiczenie i sprawdzenie wiedzy

Podsumowanie i następny krok

1. Zadania, strumienie i zdarzenia [2.0] (`KRETS-A02-AsyncStreamsEvents`)

2. Klasy, interfejsy, dziedziczenie, generyki [2.0] (`KRETS-A01-ClassesInterfacesGenerics`)

3. Testy `kret test` i diagnostyka (EXPERIMENTAL) (`KRETS-A03-TestsAndDiagnostics`)