Local Type Argument Synthesis for Erlang – Bc. David Pavlík
Bc. David Pavlík
Diplomová práce
Local Type Argument Synthesis for Erlang
Local Type Argument Synthesis for Erlang
Anotace:
Erlang je dynamicky typovaný funkcionální programovací jazyk. Nabízí syntaxi pro typové anotace, avšak statická typová kontrola je ponechána externím nástrojům. Jedním z takových nástrojů je Gradualizer, statický typechecker pro Erlang s podporou graduálního typování. Gradualizer dokáže zachytit většinu typových chyb i při volání polymorfních funkcí. Vzhledem ke globální povaze algoritmu použitého …víceAbstract:
Erlang is a dynamically typed functional programming language. It offers a syntax for type annotation. However, static typechecking is left for external tools. One such tool is Gradualizer, a static typechecker for Erlang with support for gradual typing. Gradualizer can catch most type errors even when polymorphic functions are called. However, due to the global nature of the algorithm used for typechecking …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 21. 5. 2024
Identifikátor:
https://is.muni.cz/th/z0fb0/
Obhajoba závěrečné práce
- Obhajoba proběhla 21. 6. 2024
- Vedoucí: doc. Mgr. Jan Obdržálek, PhD.
- Oponent: RNDr. Martin Jonáš, Ph.D.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Teoretická informatika / Principy programovacích jazyků
Práce na příbuzné téma
-
Proudové zpracování událostí v jazyce Erlang
Ondřej Benkovský -
Řazení distribuovaných proudů dat v jazyce Erlang
Adam Krupička