|
|
Reactive Programming in iOS Applications
Kříž, Matyáš ; Peringer, Petr (referee) ; Hrubý, Martin (advisor)
iOS development is built on asynchronous calls and parallelism. Keeping the asynchronous code clear and consise becomes increasingly more difficult with the size of an application. Multiple methodologies emerged to combat this problem. One of them is the reactive programming methodology. In my thesis I focused on creating a reactive methodology inspired by the core ReactiveX concepts with a simpler, more streamlined implementation.
|
|
|
Functional Programming in Java
VYSOCKÝ, Milan
The aim of this bachelor thesis is to introduce functional (declarative) programming with all its main features in the theoretical and practical part, analyze its implementation and compare it with object oriented (imperative) programming. The theoretical part is focused on functional programming, where its basic principles will be clarified, implementation in Java and why this programming paradigm was developed. Using relatively new language features, i.e. lambda expressions, streams, default methods, functional interfaces, whose implementation among other things, will be analyzed, will be introduced the possibilities of functional programming in Java. By comparing functional programming and object-oriented programming, the advantages and disadvantages of each approach are considered. In the practical part of the bachelor thesis there are programmed several practical examples documenting the possibility of using all the language features mentioned above.
|
|
|
Domain Specific Languages in Functional Programming
Rapavá, Jana ; Hric, Jan (advisor) ; Pilát, Martin (referee)
In Artificial Intelligence, especially in area of constraint programming, it's popular to design various modeling languages which allow solving problems on domain level and by using domain specific abstractions. Techniques known from research on Domain-Specific Languages are often useful in this effort. Functional programming languages offer new tools for designing such languages, particularly Domain-Specific Embedded Languages. This work investigates the advantages and disadvantages of using functional programming for designing and implementing a Domain-Specific Embedded Language for state space search problems.
|
|
|
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)
|
|
|
Automatic lifting of expressions for typed functional languages
Smrž, Roman ; Pudlák, Petr (advisor) ; Hric, Jan (referee)
In typed functional programming there is often the need for combining pure and monadic (or other effectful) computations, but the required lifting must be done manually by the programmer and may result in cluttered code. This thesis explores ways to allow the compiler to perform this task automat- ically. Several possible approaches are described, where the final one reduces the task to solving a system of linear diophantine equations. Apart from monads, the described method is also considered for the case of applicative functors as another abstraction to represent effectful operations. 1
|
|
|
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.
|
guest ::
