Buchumschlag

Representation of monadic effects in the non-monadic form

Modern programming relies heavily on effects systems. In the context of the development of programming languages, two approaches to understanding effects are distinguished: the first recognizes an effect as a characteristic of a program that affects the execution environment, separating it from a si...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2024
1. Verfasser:	Shevchenko, R.S.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2024
Schlagworte:	effects monads Scala programing language program transformation UDC 004.424
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/627
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Embedding a family of logic languages with custom monadic unification in Scala
von: Shevchenko, R.S., et al.
Veröffentlicht: (2024)

Weak Frobenius monads and Frobenius bimodules
von: Wisbauer, Robert
Veröffentlicht: (2016)

Regular pairings of functors and weak (co)monads
von: Wisbauer, Robert
Veröffentlicht: (2018)

Parallel distributed implementation of parallel processing simulation
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Usage of modelling tools for determining optimal parameters of programme execution on video graphics accelerators
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Toolkit for simulation of heterogeneous GPU-based environments
von: Okonsky, I.V., et al.
Veröffentlicht: (2025)

On performance of the In-Memory Data Grids
von: Rukhlis, K.A., et al.
Veröffentlicht: (2017)

DS-theory. Scientific aspects and prospects for development
von: Kolesnyk, V.G.
Veröffentlicht: (2018)

Context term calculus for rewriting systems
von: Shevchenko, R.S.
Veröffentlicht: (2018)

The description of lists and sets of meta-language of normal forms of knowledge
von: Kurgaev, A.F.
Veröffentlicht: (2020)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
von: Kolesnyk, V.G.
Veröffentlicht: (2017)

TermWare3 – term rewriting system, based on context-term calculus
von: Shevchenko, R.S., et al.
Veröffentlicht: (2019)

Basics of programming in the context of software engineering
von: Sydorov, М.О.
Veröffentlicht: (2019)

The translator of Petri-object model visual programming language
von: Dyfuchyn, А.Yu.
Veröffentlicht: (2022)

Semantics and pragmatics of programming language ASAMPL
von: Sulema, Y.S., et al.
Veröffentlicht: (2020)

Monads and tensor products
von: T. Radul
Veröffentlicht: (2017)

Weak Frobenius monads and Frobenius bimodules
von: R. Wisbauer
Veröffentlicht: (2016)

Розпаралелювання програм на фортрані з використанням техніки переписувальних правил
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)

Probability measure monad in the category of non-archimedean coarse spaces
von: V. L. Brydun, et al.
Veröffentlicht: (2012)

Regular pairings of functors and weak (co)monads
von: R. Wisbauer
Veröffentlicht: (2013)

Formal and adaptive methods and software tools of parallel programming
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Parallel distributed system for social networks streaming data analysis
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)

DS-theory. Presentation of canonical algorithm by means of algorithmic language
von: Kolesnyk, V.G.
Veröffentlicht: (2017)

To the issue of optimizing cloud computing based on their cost
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2021)

Component of programming. Theory and implementation
von: Lavrischeva, K.M.
Veröffentlicht: (2015)

Models of concurrent program running in resource constrained environment
von: Rahozin, D.V.
Veröffentlicht: (2020)

Automated development of a parallel distributed system for streaming data processing
von: Titov, D.S., et al.
Veröffentlicht: (2018)

Software engineering ontologies categorization
von: Sydorov, N.A., et al.
Veröffentlicht: (2018)

Parallel distributed implementation of workflow management module for operation support system for telecommunication providers
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)

Toward software artifacts ecosystem
von: Sydorov, N.A.
Veröffentlicht: (2021)

DS-theory. The research of P-data factors formating
von: Kolesnyk, V.G.
Veröffentlicht: (2018)

Automated generation of parallel programs for graphics processing units based on algorithm schemes
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)

Algorithm for automatic loop parallelization for graphics processing units
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Interface-oriented approach to modelling tools for multi-agent systems
von: Shevchenko, R.S., et al.
Veröffentlicht: (2025)

Lifting functors to Eilenberg-Moore category of monad generated by functor CpCp
von: Pikhurko, О.B., et al.
Veröffentlicht: (1992)

Architecture of software system for hierarchical fuzzy inference
von: Yershov, S.V., et al.
Veröffentlicht: (2018)

Jupyter Notebook: a system for interactive scientific computing
von: Yakimchik, A. I.
Veröffentlicht: (2019)

Automated generation of programs for a class of parametric neuroevolution algorithms
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2023)

The definition of formal languages in the meta language of normal forms of knowledge
von: Kurgaev, A.F., et al.
Veröffentlicht: (2018)

Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018)