20.500.12556/RUL-132952 Asinhroni algebrajski učinki magistrsko delo Asynchronous algebraic effects V delu si pogledamo programski jezik Æff in $\lambda_æ$-račun, na katerem temelji. Glavna lastnost $\lambda_æ$-računa je možnost asinhronega izvajanja v navezi z vzporednim izvajanjem. To dosežemo tako, da prestreznik naprej izvaja svoje nadaljevanje, medtem ko čaka, da dobi odgovor v obliki učinka iz drugega procesa. Ko prestreže želeni učinek, ga primerno obdela in izvajanje se spet nadaljuje. Osnovno verzijo $\lambda_æ$-računa razširimo z rekurzivnimi obljubami, mobilnimi tipi in dinamičnimi procesi. Rekurzivne obljube omogočijo, da bo program lahko reagiral na več učinkov z istim imenom operacije. Mobilni tipi omogočijo pošiljanje vrednosti višjega reda, predvsem funkcij. Dinamični procesi omogočijo ustvarjanje novih procesov sproti po potrebi. Dokažemo izreka o napredku in ohranitvi za osnovni in razširjen $\lambda_æ$-račun. Omenimo tudi nekatere razlike med $\lambda_æ$-računom in dejansko implementacijo jezika Æff. We take a look at the programming language Æff and $\lambda_æ$-calculus on which Æff is based. The main feature of the $\lambda_æ$-calculus is the ability to run asynchronously in conjunction with parallel execution. This is accomplished by continuing to perform operation’s continuation while it waits to receive a response in the form of an effect from another process. Once it receives the response, it processes it appropriately and execution resumes. We extend the basic version of the $\lambda_æ$-calculus with recursive promises, mobile types, and dynamic processes. Recursive promises allow the program to be able to respond to multiple effects with the same operation name. Mobile types allow you to send higher-order values between parallel processes, especially functions. Dynamic processes allow you to create new processes on the fly as needed. We prove the progress and preservation theorem for the basic and extended $\lambda_æ$-calculus. We also mention some differences between the $\lambda_æ$-calculus and the actual implementation of the Æff language. asinhrono izvajanje algebrajski učinki vzporedno izvajanje prestrezniki signali asynchronous execution algebraic effects parallel execution handlers signals true false false Slovenski jezik Angleški jezik Magistrsko delo/naloga 2021-11-07 08:15:15 2021-11-07 08:15:21 2024-05-29 12:32:56 0000-00-00 00:00:00 2021 0 0 0000-00-00 NiDoloceno NiDoloceno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 004.42 122918 83902723 4239.pdf 4239.pdf 1 F9BD0B7242011C90D76871E8A15ED649 52813c74c3a5c3e3825a8d83a099bee413206d8a72180b3ccc4062e8be560c77 6aec7500-3f9a-11ec-abdb-00155dcfd717 https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=150702 Fakulteta za matematiko in fiziko 0 0 0