Nízkoúrovňový funkcionální programovací jazyk
| Thesis title in Czech: | Nízkoúrovňový funkcionální programovací jazyk |
|---|---|
| Thesis title in English: | Low-level functional programming language |
| Key words: | funkcionální programování; programovací jazyky |
| English key words: | functional programming; programming languages |
| Academic year of topic announcement: | 2014/2015 |
| Thesis type: | diploma thesis |
| Thesis language: | angličtina |
| Department: | Department of Software Engineering (32-KSI) |
| Supervisor: | RNDr. David Bednárek, Ph.D. |
| Author: | RNDr. Miroslav Kratochvíl, Ph.D. - assigned and confirmed by the Study Dept. |
| Date of registration: | 29.10.2014 |
| Date of assignment: | 07.11.2014 |
| Confirmed by Study dept. on: | 20.11.2014 |
| Date and time of defence: | 08.09.2015 08:30 |
| Date of electronic submission: | 03.08.2015 |
| Date of submission of printed version: | 21.07.2015 |
| Date of proceeded defence: | 08.09.2015 |
| Opponents: | RNDr. Jan Hric |
| Guidelines |
| Current system-programming languages like C/C++ are burdened with historical complexity and syntax that became frequent sources of errors and poor code quality. Novel ideas and paradigms of functional programming are often presented as a solution to such software-engineering problems; however, currently available functional languages lack the precise control over code execution, timing and data manipulation that is usually required for coexistence with low-level system primitives.
The aim of the thesis is to identify the largest possible combination of paradigms from low-level ("C-like") and high-level functional ("Haskell-like") languages to design a new, preferably very simple, programming language that satisfies the requirements from both categories, and to demonstrate the feasibility of such language by showing compilation of several example programs that benefit from this new combination. |
| References |
| - The Habit Programming Language: The Revised Preliminary Report. The High Assurance Systems Programming Project (Hasp), Portland State University, USA, 2010. http://hasp.cs.pdx.edu/habit-report-Nov2010.pdf
- Dijkstra A., Fokker J., and Swierstra S. D. The architecture of the Utrecht Haskell compiler. In Proceedings of the 2nd ACM SIGPLAN symposium on Haskell (Haskell '09). ACM, New York, USA, pp. 93-104, 2009. DOI 10.1145/1596638.1596650. - Mogensen, T., and Sestoft, P. Partial evaluation. Encyclopedia of Computer Science and Technology, 37, pp. 247-279, 1997. http://repository.readscheme.org/ftp/papers/partial_eval_encyclop.pdf - Barendregt, H., Dekkers, W., and Statman, R. Lambda calculus with types. Cambridge University Press, 2013. ISBN 9780521766142. |