KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ
KRETS-B02-CommonTypeErrors — Najczęstsze błędy typów
KRETS-B02-CommonTypeErrors — Najczęstsze błędy typów
🇬🇧 English version below.
| Pole | Wartość |
|---|---|
| Technologia | KretS |
| Poziom | BASIC |
| Klasyfikacja | VALIDATION_ONLY — Tylko walidacja (bez wykonania) |
| Playground | LOCAL_VALIDATE — lokalnie: walidacja (kret check, lokalny walidator Playground) |
| SDK | 1.0.0-rc.3+kret.local.3 (kandydat lokalny, niepodpisany) |
| Wynik testu | TEST_RESULTS.json, rzeczywisty wynik: EXPECTED_OUTPUT.txt |
Co pokazuje
KretS nie ma konwersji niejawnych. 1 + 2.0 daje KCS-KRS-0320, let x = null bez typu daje KCS-KRS-0307. Folder fixed/ pokazuje poprawki: jawne toFloat(1) i typ String?.
Pliki
| Plik |
|---|
fixed/Script/Main.krs |
fixed/host-policy.json |
fixed/plugin.kretl |
mixed-numbers/Script/Main.krs |
mixed-numbers/plugin.kretl |
untyped-null/Script/Main.krs |
untyped-null/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 mixed-numbers --json—Int + Float→KCS-KRS-0320(oczekiwany błąd)kret check untyped-null --json—nullbez typu →KCS-KRS-0307(oczekiwany błąd)kret run fixed --policy fixed/host-policy.json --data {DATA}— wersja poprawiona działa
Oczekiwany wynik
Dwa pierwsze polecenia kończą się kodem 1 z diagnostyką w pliku Script/Main.krs (wiersz i kolumna). Wersja poprawiona zwraca „3.0 / brak” (Float64 zawsze z kropką).
Najczęstszy błąd
Oczekiwanie, że liczba całkowita „sama” zamieni się na zmiennoprzecinkową. Zawsze używaj toFloat, toInt, toString.
Ź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_CommonTypeErrors/README.md
SHA-256 E5CBD201E160EE49BF0E94C76CCDF6F661331AD15466331641F1EC2E8C439641Oryginalne ź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 →