Forth to język programowania, który wygląda jak nic, co widziałeś wcześniej. Brak tu nawiasów klamrowych, brak słów kluczowych typu if czy while w tradycyjnym sensie, brak zmiennych w stylu, do którego przywykłeś. Forth operuje na stosie — dosłownie. Każda operacja to manipulacja stosem: wrzucasz wartości, wywołujesz słowa (funkcje), które je konsumują i produkują nowe wartości. To programowanie w najczystszej, najbardziej surowej formie.

Forth jest jednocześnie językiem programowania i systemem operacyjnym. Interpreter Forth może działać na gołym sprzęcie — bez OS, bez bibliotek, bez niczego. To czyni go idealnym do systemów embedded, firmware i środowisk o ekstremalnie ograniczonych zasobach. Ale nie tylko — Forth bywa używany w astronomii, robotyce, a nawet w grach.

Dlaczego warto go poznać? Bo Forth uczy cię myśleć o programowaniu na poziomie, na którym większość języków ukrywa przed tobą szczegóły. Zrozumiesz, czym naprawdę jest stos, jak działa kompilator i jak zbudować język od zera. Forth to jak rozebranie silnika na części — po tym doświadczeniu lepiej rozumiesz, jak działa całość.

Spis treści

Krótka historia i ewolucja

Forth został stworzony przez Charlesa Moore’a pod koniec lat 60. w National Radio Astronomy Observatory. Moore potrzebował języka do sterowania teleskopami i analizy danych astronomicznych. Nazwa “Forth” pochodzi od “fourth generation” — Moore uważał, że to język czwartej generacji, ale system plików na jego komputerze ograniczał nazwy do pięciu znaków, więc “fourth” stało się “Forth”.

W latach 70. i 80. Forth zyskał dużą popularność w systemach embedded i sterowaniu sprzętem. Był używany w teleskopach, systemach wojskowych, kontrolerach przemysłowych, a nawet w grach na Atari. Standard FIG-Forth (Forth Interest Group) ujednolicił język i umożliwił przenoszenie kodu między platformami.

Standard ANSI Forth ukazał się w 1994 roku, definiując oficjalny standard języka. Od tego czasu Forth ewoluował głównie przez implementacje: Gforth (GNU), SwiftForth, Mecrisp (dla mikrokontrolerów ARM) i wiele innych. Forth nigdy nie zniknął — po prostu znalazł swoje nisze i w nich prosperuje.

Kluczowe cechy i filozofia

Forth jest językiem stosowym (stack-based). Wszystkie operacje odbywają się na stosie danych. Chcesz dodać dwie liczby? Wrzucasz je na stos i wywołujesz +. Chcesz wydrukować wynik? Wrzucasz liczbę i wywołujesz . (kropka). To podejście, które dziś widzimy w PostScript, JVM bytecode i języku Factor.

Składnia Forth jest radykalnie prosta: słowa oddzielone spacjami, wykonywane od lewej do prawej. Nie ma operatorów o różnym priorytecie, nie ma nawiasów grupujących, nie ma specjalnej składni. 2 3 + . to “wrzuć 2, wrzuć 3, dodaj, wydrukuj”. To wszystko. Ale ta prostota jest myląca — Forth jest Turing-kompletny i potrafi wyrazić dowolny algorytm.

Najbardziej unikalną cechą Forth jest to, że język jest rozszerzalny na każdym poziomie. Możesz definiować nowe słowa, które stają się nieodróżnialne od wbudowanych. Co więcej, możesz modyfikować sam kompilator — zmieniać sposób parsowania, dodawać nowe struktury kontrolne, tworzyć domain-specific languages wewnątrz Forth. To metaprogramowanie na poziomie, o jakim Ruby czy Lisp mogą tylko pomarzyć.

Forth jest też niezwykle kompaktowy. Pełny interpreter z kompilatorem może zmieścić się w kilku kilobajtach pamięci. To nie jest zaleta akademicka — w świecie mikrokontrolerów, gdzie masz 2 KB RAM i 32 KB flash, każdy bajt się liczy. Forth na gołym sprzęcie to realne rozwiązanie, nie teoretyczna ciekawostka.

Gdzie Forth sprawdza się najlepiej

Najbardziej naturalnym środowiskiem Forth są systemy embedded i mikrokontrolery. Mecrisp-Stellaris to implementacja Forth dla ARM Cortex-M, która pozwala programować mikrokontrolery bezpośrednio w Forth, bez potrzeby cross-kompilatora czy IDE. Programiści hardware’owi cenią Forth za interaktywność — możesz testować funkcje na żywo, bez ponownego flashowania urządzenia.

Drugim tradycyjnym obszarem jest astronomia i sterowanie instrumentami naukowymi. Forth był używany w obserwatoriach na całym świecie do sterowania teleskopami, kopułami i detektorami. Interaktywność i możliwość modyfikacji kodu w runtime były kluczowe w środowiskach, gdzie eksperymenty ewoluują w czasie rzeczywistym.

Forth bywa też używany w edukacji — do nauczania zasad działania kompilatorów, systemów operacyjnych i architektury komputerów. Implementacja własnego interpretera Forth to klasyczne ćwiczenie na kursach informatyki, bo Forth jest wystarczająco prosty, żeby go zaimplementować w całości w rozsądnym czasie.

Jak wygląda kod w Forth

Proste dodawanie i drukowanie:

2 3 + .

To wszystko. 2 i 3 trafiają na stos, + zdejmuje obie wartości i wrzuca ich sumę, . zdejmuje wartość i drukuje ją. Wynik: 5.

Definiowanie nowego słowa i pętla:

: KWADRAT ( n -- n )  DUP * ;

: LICZ ( n -- )
    0 DO
        I KWADRAT .
    LOOP ;

10 LICZ

: rozpoczyna definicję nowego słowa, ; ją kończy. KWADRAT duplikuje wartość na stosie (DUP) i mnoży (*). LICZ iteruje od 0 do n-1 (DO...LOOP), drukując kwadrat każdej liczby. Komentarze w nawiasach ( n -- n ) to konwencja opisująca efekt na stosie.

Bardziej zaawansowany przykład — definicja tablicy:

CREATE MOJA-TABLICA  10 CELLS ALLOT

: SET-CELL ( val index -- )
    CELLS MOJA-TABLICA + ! ;

: GET-CELL ( index -- val )
    CELLS MOJA-TABLICA + @ ;

42 3 SET-CELL
3 GET-CELL .

CREATE alokuje nazwę, ALLOT rezerwuje pamięć, ! zapisuje wartość pod adres, @ odczytuje. To programowanie na poziomie bliskim maszynie, ale z elegancją abstrakcji.

Ekosystem i narzędzia

Gforth to flagowa implementacja GNU — darmowa, open-source’owa, z bogatym zestawem narzędzi. Zawiera interpreter, kompilator, debugger i edytor. Gforth działa na większości platform i jest zgodny ze standardem ANSI Forth. To najlepszy punkt startowy dla osób chcących nauczyć się Forth.

Dla mikrokontrolerów ARM, Mecrisp-Stellaris jest standardem. Pozwala uruchomić Forth bezpośrednio na chipie, z dostępem do rejestrów sprzętowych i peryferiów. Programowanie wygląda tak: podłączasz się do mikrokontrolera przez port szeregowy i wpisujesz komendy Forth w czasie rzeczywistym. To interaktywne programowanie hardware’u w najczystszej formie.

Społeczność Forth jest mała, ale niezwykle zaangażowana. Forth Interest Group (FIG) organizuje konferencje i publikuje materiały. Istnieje kilkanaście aktywnych forów i grup dyskusyjnych. Ekosystem bibliotek jest skromny — Forth nie ma menedżera pakietów — ale społeczność dzieli się kodem i modułami na forach i w repozytoriach.

Mocne i słabe strony

Największą siłą Forth jest minimalizm i kontrola. Masz pełną władzę nad każdym aspektem systemu — od zarządzania pamięcią po definicję składni. Kompaktowość sprawia, że Forth działa tam, gdzie inne języki nie mają szans. Interaktywność pozwala na błyskawiczne testowanie i debugowanie. A rozszerzalność oznacza, że możesz dostosować język do dokładnie tego problemu, który rozwiązujesz.

Kolejną zaletą jest edukacyjna wartość. Forth zmusza cię do myślenia o tym, jak komputer naprawdę działa. Stos, pamięć, adresy, kompilacja — wszystko jest jawne i dostępne. Po nauce Forth lepiej rozumiesz każdy inny język.

Największą wadą jest czytelność i krzywa uczenia się. Kod Forth wygląda jak ciąg enigmatycznych słów i symboli. Notacja stosowa (postfix) jest odwrotna do tego, do którego przywykliśmy. 2 3 + zamiast 2 + 3 to drobnostka, ale przy złożonych operacjach stosowych śledzenie, co jest na stosie, wymaga dużej dyscypliny umysłowej.

Kolejnym problemem jest brak standardowych bibliotek i ekosystemu. Chcesz parsować JSON? Musisz napisać parser sam albo znaleźć gotowy w archiwum sprzed dekady. Chcesz postawić serwer HTTP? To samo. Forth daje ci narzędzia do zbudowania wszystkiego, ale “wszystko” oznacza naprawdę wszystko.

Podsumowanie

Forth to język dla minimalistów, hardware hackerów i osób, które chcą zrozumieć programowanie od fundamentów. Jeśli pracujesz z mikrokontrolerami, interesujesz się architekturą komputerów lub po prostu chcesz poszerzyć horyzonty — Forth da ci unikalną perspektywę. Nie jest to język do budowy aplikacji webowych, ale jest to język, który uczy, jak zbudować język.

Przyszłość Forth jest stabilna w jego niszach. Mikrokontrolery nie znikną, instrumenty naukowe wciąż potrzebują interaktywnego sterowania, a edukacja zawsze będzie potrzebować narzędzi, które pokazują, jak rzeczy działają pod maską. Forth może nie być modny, ale jest wieczny.