Zpět na vyhledávání

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 …more
Abstract:
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
 

Keywords

Erlang type theory typechecking polymorphism local type inference gradual typing Gradualizer teorie typů kontrola typů polymorfismus
 
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.

Citation record

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Theoretical computer science / Principles of programming languages

Theses on a related topic

List of theses with an identical keyword.