Bc. David Pavlík
Master's thesis
Local Type Argument Synthesis for Erlang
Local Type Argument Synthesis for Erlang
Abstract:
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 …moreAbstract:
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 …more
Language used: English
Date on which the thesis was submitted / produced: 21. 5. 2024
Identifier:
https://is.muni.cz/th/z0fb0/
Thesis defence
- Date of defence: 21. 6. 2024
- Supervisor: doc. Mgr. Jan Obdržálek, PhD.
- Reader: RNDr. Martin Jonáš, Ph.D.
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Theoretical computer science / Principles of programming languages
Theses on a related topic
-
Proudové zpracování událostí v jazyce Erlang
Ondřej Benkovský -
Řazení distribuovaných proudů dat v jazyce Erlang
Adam Krupička