|
|
Functional languages compiled to JavaScript in practice
Mladý, Lukáš ; Bruckner, Tomáš (advisor) ; Kosek, Jiří (referee)
The thesis focuses on functional principles applied in front-end application development. The main goal is to analyze applicability of functional language Elm in practice, in comparison to contemporary JavaScript that builds on React and Redux libraries. The goal was attained through analysis and comparison of JavaScript and Elm in regards to their architecture and support of real-life front-end application development. Main contribution of this thesis lies in comprehensive analysis and overview of front-end development using JavaScript and Elm. It offers strong argument for using Elm in practice today. It also fills a gap in BroadcastChannel API support in Elm using a dedicated package. The text of this thesis begins with a functional principles support analysis in JavaScript. Next, it describes the most used functional languages compiled to JavaScript, including their applicability by JavaScript developers. Then it compares front-end architecture of both JavaScript and Elm followed by a real-life development experience analysis. The thesis concludes with a practical implementation of a package that fills in for missing BroadcastChannel API support in Elm.
|
|
|
Nízkoúrovňový funkcionální programovací jazyk
Kratochvíl, Miroslav ; Bednárek, David (advisor) ; Hric, Jan (referee)
The goal of this thesis is to explore the current possibilities of implementation of compilers of low-level functional languages. It is expected to evaluate theoretical possibilities of functional programming languages, possible limitations that arise from the absence of run-time code support in low-level environment, and to implement a language compiler that demonstrates some chosen properties. Powered by TCPDF (www.tcpdf.org)
|
|
|
Typed Functional Genetic Programming
Křen, Tomáš ; Pudlák, Petr (advisor) ; Kubalík, Jiří (referee)
In this thesis is presented design and implementation of a system performing genetic programming in simply typed lambda calculus. Population initialization method based on term generating technique producing typed lambda terms in long normal form is introduced. This method is parameterized by simple search strategy. Several search strategies are presented, such as strategy for systematic generation or strategy corresponding to standard ramped half-and-half method. Another such a strategies called \textit{geometric} strategy is further examined in experiments and shown to have various desirable effects such as improved success rate, lesser time consumption and smaller average term size in comparison with standard ramped half-and-half generating method. Other performance enhancements are proposed and supported by experiments such as eta-normalization of generated individuals and @-tree representation of individuals. Abstraction elimination is utilized to enable use of simple tree- swapping crossover. Powered by TCPDF (www.tcpdf.org)
|
|
|
Automated GUI Generation for functional data structures
Podloucký, Martin ; Pergl, Robert (advisor) ; Hric, Jan (referee)
This thesis addresses the problem of automated graphical user interface generation for functional programs. First an analysis of current state in the field of automated GUI generation is performed. Based on the analysis the concept of Functionally Structured User Interface (FSUI) is introduced. Meta-data system for code annotation is then specified for the Clojure programming language and a transformation from this system to FSUI data model is implemented. Finally a graphical layer for displaying the actual interface is implemented in Clojure. Benefits of this approach are demonstrated by proof-of-concept case study.
|
|
|
Design patterns in PHP
Škovran, Jan ; Pecinovský, Rudolf (advisor) ; Mazánek, Petr (referee)
The aim of this thesis is to explore the supportability of paradigms of object-oriented programming and functional programming, and the possibilities of implementation of design patterns in PHP language. The chosen design patterns are implemented in simple examples with code samples. Based on this information, suggestions for PHP course improvements at University of Economics are offered.
|
|
|
Algorithmic Generation of Esthetical Rhytmical Sequences
Mahnert, Jakub ; Klepárník, Petr (referee) ; Beran, Vítězslav (advisor)
The goal of this project is to design and implement a system, suited for proving or disproving the claim that it is possible to generate unique rhythmical sequences, which a human will perceive as aesthetical. In the project, a framework, aiding the design of such algorithms that create rhythmical sequences using composition was implemented. On top of it, several such algorithms were implemented with the notion to test their performance using a custom testing front end solution. From the gained data, the project tries to find correlations between the aspects of the algorithms with the resulting perceived aesthetical value as well as attempt to answer the initial conundrum.
|
|
|
Design and Implementation of Generic VoIP Exchange Using Functional Programming
Kidoň, Marek ; Ryšavý, Ondřej (referee) ; Matoušek, Petr (advisor)
This thesis deals with the design and implementation of generic exchange. As an implementation language was selected Erlang mainly because of its positive features with respect to a telephony software. Thesis also talks about declarative programming, Erlang language, its particular properties, advantages and disadvantages. The resulting software is called the Generic Exchange and its funcionallity is demonstrated on a few simple examples. In the end of the thesis are summarized the results and Generic Exchange design is compared with the design of Asterisk exchange.
|
|
|
Possibilities of Declarative Programming in Java 8
Rytych, Maxim ; Pecinovský, Rudolf (advisor) ; Pavlíčková, Jarmila (referee)
This paper concerns itself with possibilities of declarative programming in the new version of Java 8 language, specifically using elements adopted from the domain of functional programming languages: function as a value and lazy streams of data. The goal of this paper is to demonstrate possibilities of declarative programming using these elements, analyze its implementation and design own extensions. The contribution lies particularly in showing possibilities of the new elements, implementation analysis and design of a new functionality. The output can be used by a Czech reader, who is at least slightly advanced in the field of information technologies. The paper is divided into a theoretical and practical parts. Theoretical part is covered by chapters 3-8. Theoretical part describes motivation for introduction of the new elements, describes functional programming and its basic principles, then it shows basic principles of the newly introducted elements and ends with the description of the java.util.stream package. Pactical part is covered by chapters 9 and 10. Practical part concerns with stream oper-ations and extension design of existing functionality.
|
guest ::
