Języki Programowania on grzenow

Kompilator Latte

Sun, 21 Jan 2024 00:00:00 +0000

Jednym z większych projektów na pierwszym roku studiów magisterskich było stworzenie kompilatora dla języka Latte, rozszerzonego o takie funkcjonalności jak tablice, struktury oraz obiekty z pojedynczym dziedziczeniem. Kod w języku Latte jest parsowany przy użyciu narzędzia BNFC i kompilowany do architektury x86 asemblera.

Kompilator reprezentuje monada Reader-Writer-State:

data Reader = Rd
 { func :: Map.Map String TType
 , clss :: Map.Map String ClassEnv
 }
type Writer = [AsmInstr]
data State = St
 { nextlab :: Int
 , newloc :: Int
 , env :: Map.Map String (TType, String)
 , rodata :: Map.Map String String
 , rspOff :: Int
 }

gdzie

Kompilator Instant

Sat, 28 Oct 2023 00:00:00 +0000

Instant to język programowania, który obsługuje dwa typy instrukcji:

wyrażenie - wypisuje wartość wyrażenie na standardowe wyjście,
zmienna = wyrażenie - przypisuje wartość wyrażenie do zmiennej zmienna.

Wyrażenia mogą składać się z liczb całkowitych, zmiennych oraz operacji arytmetycznych między nimi.

Celem projektu było stworzenie kompilatora do języka Instant generującego kod dla architektur JVM i LLVM.

Szczegółowy opis znajduje się tutaj.

Kod źródłowy

Interpreter Latte

Wed, 10 May 2023 00:00:00 +0000

Jednym z większych projektów, które zrobiłem podczas studiów licencjackich, jest niewątpliwie interpreter prostego języka programowania Latte.

Interpreter napisałem w Haskellu, a grmatyka jest parsowana do tego języka za pomocną narzędzia BNFC. Zaimplementowane funkcjonalności są szczegółowo opisane na GitHubie (odnośnik na dole) wraz z dużą liczbą przykładów, więc tutaj przedstawiam skrótowy opis szczegółów implementacji.

Kod języka Latte jest automatycznie parsowany przez BNFC, a następnie przekazany do statycznej analizy typów. Monada reprezentująca stan TypeCheckera wygląda następująco:

Pętlik

Tue, 19 Jan 2021 00:00:00 +0000

Pętlik to mały język programowania, którego składnię opisuje gramatyka z symbolem początkowym Program:

Program → CiągInstrukcji
CiągInstrukcji → ε | CiągInstrukcji Instrukcja
Instrukcja → Zwiększ | Powtarzaj
Zwiększ → Zmienna
Powtarzaj → '(' Zmienna CiągInstrukcji ')'
Zmienna → 'a' | ... | 'z'

Instrukcje::

Zwiększ: równoważna instrukcji ++zmienna języka C.

Powtarzaj: równoważna instrukcji języka C:

while (zmienna > 0) {
 --zmienna;
 ...
}

Projekt składa się z dwóch części:

Kompilatora optymalizującego, generującego kod na maszynę wirtualną.
Interpretera kodu tej maszyny.

Instrukcje maszynowe: