KretFlow — trzy poziomy

KretFlow zapisuje logikę jako graf bloków (JSON, `kretflow-ir/2`). **Nie ma osobnego silnika przepływów**: graf jest obniżany do automatu stanów w KretS, kompilowany zwykłym kompilatorem i wykonywany przez tę samą maszynę, z tymi samymi uprawnieniami i limitami. Nazwa „KretFollow” nie występuje w żadnym źródle — to literówka, nie nazwa historyczna.

Program kursu

1. 01

   Graf jest źródłem programu

   KretFlow używa JSON kretflow-ir/2. Bloki i połączenia tworzą graf, który jest obniżany do automatu stanów KretS. Nie istnieje osobny silnik przepływów. Zaczynaj od identyfikatorów węzłów i ich krawędzi, następnie czytaj wygenerowane KretS.

   BASIC · 20 min
   →
2. 02

   Od grafu do wykonania KretS

   Po poprawnej walidacji grafu kompilacja i wykonanie stosują limity tej samej maszyny KretS. Wygenerowana funkcja nie uzyskuje szerszego dostępu niż ręcznie napisany kod. Rozdziel poprawność IR, generację źródła i wynik uruchomienia.

   INTERMEDIATE · 30 min
   →
3. 03

   Round-trip i błędne grafy

   Round-trip służy do sprawdzania zachowania struktury w obsługiwanym zakresie. Oczekiwany błąd niepoprawnej krawędzi lub konstrukcji jest częścią testu. Szkic grafu w edytorze WWW jest innym formatem i nie może udawać kompilacji kretflow-ir/2.

   ADVANCED · 40 min
   →