Konturový REPL v Forth na Elixir | Pipeline

Potokové zpracování v REPL pro Forth v Elixiru

Při implementaci Forth-interpretru v Elixiru lze zvolit dva přístupy k návrhu REPL: konturní, kdy data postupují jednosměrně skrz fáze lexer → interpreter → executer, a čelní, kde se mezivýsledky po každé fázi vrací zpět do REPL. Konturní styl využívá operátor |> pro řetězení volání bez dočasných proměnných a zachovává čistou potokovou paradigmatiku.

Klasická schéma REPL předpokládá:

• Lexer převádí vstup na tokeny.
• Interpreter generuje spustitelný kód.
• Executer vyhodnocuje kód v kontextu stavu stroje.

V čelním přístupu se mezivýsledky vrací do REPL mezi jednotlivými fázemi — to vede k nutnosti přeorganizovat proměnné a zbytečným voláním funkcí.

Přechod ke konturnímu přístupu

Vývoj prototypu vzájemně propojených Forth-enginů odhalil rozpor mezi teoretickými schématy REPL a praktickou realitou. Klasická ilustrace s kruhovým tokem ignoruje mechaniku vnořených volání funkcí, kde se mezivýsledky předávají zpět volajícímu modulu.

Pro čistý konturní styl bychom mohli navrhnout lexer, interpreter a executer jako samostatné GenServer-procesy s komunikací přes zprávy. To by však snížilo výkon kvůli režii zpráv v Elixiru/Erlangu.

Řešením je operátor |>, který kompilátor rozvine do vnořených volání — tak simulujeme potok bez explicitních zpráv a zbytečného overheadu.

Kód konturní implementace

Hlavní REPL cyklus se zredukoval na čistou řetězovou strukturu:

new_state = IO.gets("~Words $ ") |> String.trim |> parse |> interpret(state) |> evaluate
IO.write(" ok\n")
loop(new_state)

Zde |> předává výstup každého kroku jako první argument následující funkce: vstup → odstranění mezer → parsování → interpretace → vyhodnocení. Koncová rekurze loop zajišťuje nekonečný cyklus bez růstu zásobníku.

Tato řetězová struktura úplně eliminuje dočasné proměnné, typické pro čelní přístup.

Další vylepšení

Modernizace zahrnula i zpracování chyb:

• Generování výjimek uvnitř jednotlivých fází (lexer, interpreter, executer).
• Zachycení chyb na nejvyšší úrovni REPL.
• Centrální standardizace chybových zpráv.

Byl dále optimalizován parser: kompletní přepracování podmínkových konstrukcí (if/else/then) s efektivním řízením větvení. Výstupní výsledky jsou nyní vedlejším efektem — nepředávají se zpět do REPL.

Schéma toku je jasné: sestupná větev přenáší data (tokeny → kód), vzestupná větev řídí tok řízení.

Klíčové výhody

• Konturní přístup se osvědčil v Forth-interpretru bez jakéhokoli poklesu výkonu.
• Operátor |> nahrazuje komunikaci přes GenServer, aniž by ubyl na čitelnosti nebo efektivitě.
• Zpracování chyb je sjednocené pomocí try/catch na nejvyšší úrovni REPL.
• Parser je optimalizován pro složité konstrukce, např. podmínkové větvení.
• Tento přístup je přímo aplikovatelný i v jiných potokových systémech pro zpracování příkazů v Elixiru.

Srovnání přístupů

| Aspekt | Čelní přístup | Konturní přístup |

|--------|----------------|-------------------|

| Tok dat | Zpětné vrácení mezivýsledků | Jednosměrný pipeline |

| Proměnné | Dočasné „parazitní“ proměnné | Žádné dočasné proměnné |

| Výkon | Nižší kvůli opakovaným voláním | Vyšší — kompilátor optimalizuje řetězení |

| Čitelnost | Řetězec volání s pomocnými proměnnými | Lineární řetězec |> |

V C++ se podobně používá operátor << pro řetězení, ale bez sémantiky zpráv.

— Editorial Team