FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2899444345> ?p ?o ?g. }

• W2899444345 abstract "We notice that the type of catch :: c a -> (e -> c a) -> c a operator is a special case of monadic bind operator (>>=) :: m a -> (a -> m b) -> m b, the semantics (surprisingly) matches, and this observation has many interesting consequences. For instance, the reader is probably aware that the monadic essence of the (>>=) operator of the monad $lambda A.E lor A$ is to behave like identity monad for normal values and to stop on errors. The unappreciated fact is that handling of said errors with a catch operator of the flipped conjoined monad $lambda E.E lor A$ is, too, a monadic computation that treats still unhandled errors as normal values and stops when an error is finally handled. We show that for an appropriately indexed type of computations such a conjoined structure naturally follows from the conventional operational semantics of throw and catch operators. Consequently, we show that this structure uniformly generalizes all conventional monadic handling mechanisms we are aware of. We also demonstrate several more interesting instances of this structure of which at least bi-indexed monadic parser combinators and conventional exceptions implemented via continuations have immediate practical applications. Finally, we notice that these observations provide surprising perspectives on handling in general and point to a largely unexplored trail in programming language design space." @default.
• W2899444345 created "2018-11-09" @default.
• W2899444345 creator A5072024866 @default.
• W2899444345 date "2018-10-31" @default.
• W2899444345 modified "2023-09-27" @default.
• W2899444345 title "Exceptionally Monadic Error Handling." @default.
• W2899444345 cites W1492124994 @default.
• W2899444345 cites W1533419251 @default.
• W2899444345 cites W1580664042 @default.
• W2899444345 cites W1580876082 @default.
• W2899444345 cites W1770006921 @default.
• W2899444345 cites W1830421783 @default.
• W2899444345 cites W1879090356 @default.
• W2899444345 cites W1971752790 @default.
• W2899444345 cites W1985341972 @default.
• W2899444345 cites W1997143185 @default.
• W2899444345 cites W2022518532 @default.
• W2899444345 cites W2037984920 @default.
• W2899444345 cites W2044417921 @default.
• W2899444345 cites W2045531281 @default.
• W2899444345 cites W2046137117 @default.
• W2899444345 cites W2048921878 @default.
• W2899444345 cites W2050613794 @default.
• W2899444345 cites W2053259597 @default.
• W2899444345 cites W2055360960 @default.
• W2899444345 cites W2063266853 @default.
• W2899444345 cites W2064138295 @default.
• W2899444345 cites W2071136304 @default.
• W2899444345 cites W2073001576 @default.
• W2899444345 cites W2084115964 @default.
• W2899444345 cites W2094945667 @default.
• W2899444345 cites W2099741881 @default.
• W2899444345 cites W2101225843 @default.
• W2899444345 cites W2109507655 @default.
• W2899444345 cites W2117174233 @default.
• W2899444345 cites W2123835026 @default.
• W2899444345 cites W2135323348 @default.
• W2899444345 cites W2141576692 @default.
• W2899444345 cites W2156268797 @default.
• W2899444345 cites W2163552400 @default.
• W2899444345 cites W2181929711 @default.
• W2899444345 cites W2208923056 @default.
• W2899444345 cites W2241539590 @default.
• W2899444345 cites W2294422796 @default.
• W2899444345 cites W2329766482 @default.
• W2899444345 cites W2338036611 @default.
• W2899444345 cites W2751718667 @default.
• W2899444345 cites W2752311799 @default.
• W2899444345 cites W3145818753 @default.
• W2899444345 cites W8942334 @default.
• W2899444345 cites W2007738069 @default.
• W2899444345 cites W2517671451 @default.
• W2899444345 cites W60781975 @default.
• W2899444345 hasPublicationYear "2018" @default.
• W2899444345 type Work @default.
• W2899444345 sameAs 2899444345 @default.
• W2899444345 citedByCount "2" @default.
• W2899444345 countsByYear W28994443452019 @default.
• W2899444345 countsByYear W28994443452020 @default.
• W2899444345 crossrefType "posted-content" @default.
• W2899444345 hasAuthorship W2899444345A5072024866 @default.
• W2899444345 hasConcept C104317684 @default.
• W2899444345 hasConcept C118364021 @default.
• W2899444345 hasConcept C118615104 @default.
• W2899444345 hasConcept C136119220 @default.
• W2899444345 hasConcept C156325763 @default.
• W2899444345 hasConcept C156772000 @default.
• W2899444345 hasConcept C158448853 @default.
• W2899444345 hasConcept C17020691 @default.
• W2899444345 hasConcept C17744445 @default.
• W2899444345 hasConcept C184337299 @default.
• W2899444345 hasConcept C185592680 @default.
• W2899444345 hasConcept C186644900 @default.
• W2899444345 hasConcept C18903297 @default.
• W2899444345 hasConcept C199360897 @default.
• W2899444345 hasConcept C199539241 @default.
• W2899444345 hasConcept C202444582 @default.
• W2899444345 hasConcept C2777299769 @default.
• W2899444345 hasConcept C2779913896 @default.
• W2899444345 hasConcept C33923547 @default.
• W2899444345 hasConcept C33959348 @default.
• W2899444345 hasConcept C41008148 @default.
• W2899444345 hasConcept C42383842 @default.
• W2899444345 hasConcept C55493867 @default.
• W2899444345 hasConcept C80444323 @default.
• W2899444345 hasConcept C86339819 @default.
• W2899444345 hasConcept C86803240 @default.
• W2899444345 hasConceptScore W2899444345C104317684 @default.
• W2899444345 hasConceptScore W2899444345C118364021 @default.
• W2899444345 hasConceptScore W2899444345C118615104 @default.
• W2899444345 hasConceptScore W2899444345C136119220 @default.
• W2899444345 hasConceptScore W2899444345C156325763 @default.
• W2899444345 hasConceptScore W2899444345C156772000 @default.
• W2899444345 hasConceptScore W2899444345C158448853 @default.
• W2899444345 hasConceptScore W2899444345C17020691 @default.
• W2899444345 hasConceptScore W2899444345C17744445 @default.
• W2899444345 hasConceptScore W2899444345C184337299 @default.
• W2899444345 hasConceptScore W2899444345C185592680 @default.
• W2899444345 hasConceptScore W2899444345C186644900 @default.
• W2899444345 hasConceptScore W2899444345C18903297 @default.

• next