This final thesis strives to present a general idea and use of handlers and algebraic effects. Their logic and syntax (in Eff programming language) is presented and explained on numerous examples from the field of Financial mathematics.
The logic and principles of nondeterministic programming are also presented, with the help of which (by using handlers) we can write code very generally, meaning it is possible to use the same code to acquire different computations.
As an alternative to handlers at nondeterministic programming, concepts like modules, functors and monades are also presented. A comparison between those concepts and the use of handlers is made with emphasis on the advantages of handlers.
|
