Filters








20,315 Hits in 2.0 sec

Monads in action

Andrzej Filinski
2010 Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10  
We present here a complementary, operational view of monadic effects, in which an effect definition directly induces an imperative behavior of the new operations expressible in the monad.  ...  Any effect-specific operations expressible in the monad are also given purely functional definitions, but these definitions are only directly executable in the context of an already translated program.  ...  of the monad algebras interpreting the computation types in question.)  ... 
doi:10.1145/1706299.1706354 dblp:conf/popl/Filinski10 fatcat:eofxuwe3rjho3pbhvytb6ouljy

Monads in action

Andrzej Filinski
2010 SIGPLAN notices  
We present here a complementary, operational view of monadic effects, in which an effect definition directly induces an imperative behavior of the new operations expressible in the monad.  ...  Any effect-specific operations expressible in the monad are also given purely functional definitions, but these definitions are only directly executable in the context of an already translated program.  ...  of the monad algebras interpreting the computation types in question.)  ... 
doi:10.1145/1707801.1706354 fatcat:u5spusw2rffspcmx2bdwpwzeca

Program Slicing Based on Monadic Semantics [chapter]

Yingzhou Zhang
2012 Semantics in Action - Applications and Scenarios  
This work was supported in part by the National Natural Science www.intechopen.com Semantics in Action -Applications and Scenarios  ...  J.Labra for his cooperating with us in the implementation of the slicer.  ...  I/O actions, respectively.  ... 
doi:10.5772/37475 fatcat:imsncqvbzrgg3io55fuixl5nhm

Screaming in the IO monad: a realtime audio processing and control experiment in Haskell

David Janin
2019 Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design - FARM 2019  
Simply said, a monad stream is sort of a list guarded by a monad action that returns either nothing when the stream is over, or, otherwise, just the current value of the stream and the guarding action  ...  Applied to the IO monad, it appears that monad streams can be used for modeling both input streams and output streams, with full control of the possibly synchronism between input and output streams in  ...  We also feel deeply in debts towards anonymous referees for their tolerance and open mind in reviewing a first quickly written draft that eventually got considerably improved thanks to their numerous,  ... 
doi:10.1145/3331543.3342585 fatcat:wg3bkp72l5gv7dgfzjc6q5q3ym

Biological Motion Perception Is Affected by Age and Cognitive Style in Children Aged 8–15

Parisa Ghanouni, Amir Hossein Memari, Monir Shayestehfar, Pouria Moshayedi, Shahriar Gharibzadeh, Vahid Ziaee
2015 Neurology Research International  
Furthermore, accuracy of action perception increased significantly from 46.4% (SD = 16.1) in monadic to 62.5% (SD = 11.5) in dyadic social contexts.  ...  Results showed that the age and empathizing ability strongly predicted improvement in action perception in both contexts.  ...  Acknowledgments Authors would like to thank all of participants who collaborated in this study. They gratefully acknowledge the considerable assistance and valuable guidance of Dr. Frank E.  ... 
doi:10.1155/2015/594042 pmid:25861473 pmcid:PMC4378609 fatcat:jgb3623c55h3pf3vpzgsakeb6a

Leibniz and Monadic Domination [chapter]

Shane Duarte
2012 Oxford Studies in Early Modern Philosophy Volume VI  
to Leibniz, among the actions performed by all the created monads in the universe.  ...  as an action, and the less strict sense, according to which only part of what happens in a monad counts as an action, everything else that happens in it being a passion.  ...  Here, the subordinate monad's action (in the loose sense of 'action') is held responsible for both the decrease and the failure in the dominant monad.  ... 
doi:10.1093/acprof:oso/9780199659593.003.0007 fatcat:3wigebfipnagjmhebtit2lapwm

Update Monads: Cointerpreting Directed Containers

Danel Ahman, Tarmo Uustalu, Marc Herbstritt
2014 Types for Proofs and Programs  
Distributive laws between such monads are given by actions of the monoid on the set. We also discuss a dependently typed generalization of update monads.  ...  Reader monads Every set S (of states) defines a monad (the reader monad) via f s s Here and in the following, we use Agda's [12] syntax of braces for implicit arguments, i.e., for those arguments we may  ...  We do this in the next section using monoid actions.  ... 
doi:10.4230/lipics.types.2013.1 dblp:conf/types/AhmanU13 fatcat:vacsqnxifzftrhmfweulvc62q4

Modules Over Monads and Their Algebras

Maciej Pirog, Nicolas Wu, Jeremy Gibbons, Marc Herbstritt
2015 Conference on Algebra and Coalgebra in Computer Science  
Modules over monads (or: actions of monads on endofunctors) are structures in which a monad interacts with an endofunctor, composed either on the left or on the right.  ...  In particular, we identify the monad freely generated by a right module as a generalisation of Moggi's resumption monad and characterise its algebras, extending previous results by Hyland, Plotkin and  ...  As suggested by Example 3, the actions of right modules may represent functions that run the computations in some context.  ... 
doi:10.4230/lipics.calco.2015.290 dblp:conf/calco/PirogWG15 fatcat:wqg7gw4qvjh63a3yqpwpfr6sjm

Page 607 of The Monist Vol. 34, Issue 4 [page]

1924 The Monist  
This is the clue to the monadic scheme of inter- course which can now be set forth in abstract terms. The monad being conceived as activity must express itself in actions.  ...  The limitations to the activity of a monad and the range they allow to its expression in actions give form and outline to the world. The world for the monad is the range of its activity.  ... 

Modular denotational semantics for compiler construction [chapter]

Sheng Liang, Paul Hudak
1996 Lecture Notes in Computer Science  
The monadic approach also facilitates generating code in various target languages with different sets of built-in features.  ...  Compared to denotafional semantics, reasoning in monadic style offers the added benefits of highly modularized proofs and more widely applicable results.  ...  Mirani and the ESOP'96 anonymous referees for useful suggestions, Zhong Shao, Satish Pai, Dan Rabin and the PEPM'95 4 More recently, Cenciarelli and Moggi [4] proposed a syntaclic approach to modularity in  ... 
doi:10.1007/3-540-61055-3_39 fatcat:g6dl66hxoze2vjwukljuqkfxqu

Picture of the World As a Quantum Monadistic System

Teruaki Nakagomi
2007 NeuroQuantology  
Then, the world where we live is pictured as a monadistic system in a series of short but condensed statements without mathematics. You can find here the essence of quantum monadology.  ...  This action is essentially volitional, but tendency of action is deterministic as explained below. <8> The volitional action of a monad is made in the form of choosing an item from a set of choice-items  ...  In other words, time is promoted by volitional actions of monads, since the cycle of state change is driven by them. <15> There is no deterministic rule to fix which of the monads to make volitional action  ... 
doi:10.14704/nq.2006.4.3.106 fatcat:qbjvjffhfbettjc6nyuy3zhtxe

Reduction monads and their signatures

Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
2019 Proceedings of the ACM on Programming Languages (PACMPL)  
In this work, we study 'reduction monads', which are essentially the same as monads relative to the free functor from sets into multigraphs.  ...  For each such signature, we define a category of models; any model is, in particular, a reduction monad.  ...  Furthermore, we thank Tom Hirschowitz for many discussions about this work and, in particular, for sharing his knowledge about related work. Ahrens acknowledges the support of the  ... 
doi:10.1145/3371099 fatcat:6qsodagvljfqvg7btte3bjdeaa

The continuity of monadic stream functions

Venanzio Capretta, Jonathan Fowler
2017 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)  
It applies to monadic streams, potentially unending sequences of values produced by steps triggered by a monadic action, possibly involving side effects.  ...  Formally this is done by requiring a form of naturality in the monad.  ...  It is a state monad in which the monadic actions only write into the state, they never read it.  ... 
doi:10.1109/lics.2017.8005119 dblp:conf/lics/CaprettaF17 fatcat:rotggzbfdnbnxggml2gfulk5wu

Tracing monadic computations and representing effects

Maciej Piróg, Jeremy Gibbons
2012 Electronic Proceedings in Theoretical Computer Science  
In functional programming, monads are supposed to encapsulate computations, effectfully producing the final result, but keeping to themselves the means of acquiring it.  ...  To make that possible, in this paper we introduce monad transformers that add the ability to automatically accumulate observations about the course of execution as an effect.  ...  A single operation can be embedded in an Action data structure and lifted to the concurrent monad with act. There are two operators for concurrency, par and fork.  ... 
doi:10.4204/eptcs.76.8 fatcat:skczi4opgvaqphccsiy2gu7li4

Page 479 of The American Psychologist Vol. 6, Issue 9 [page]

1951 The American Psychologist  
The grin is the boy’s environmental event in his monadically con- ceived action sequence.  ...  The monadic instigation-action sequence But if personality and social behavior are to be included in a single theory, the basic monadic unit of behavior must be expandable into a diadic one.  ... 
« Previous Showing results 1 — 15 out of 20,315 results