Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100748356> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W3100748356 endingPage "40" @default.
- W3100748356 startingPage "15" @default.
- W3100748356 abstract "We reflect on programming with complicated effects, recalling an undeservingly forgotten alternative to monadic programming and checking to see how well it can actually work in modern functional languages. We adopt and argue the position of factoring an effectful program into a first-order effectful DSL with a rich, higher-order 'macro' system. Not all programs can be thus factored. Although the approach is not general-purpose, it does admit interesting programs. The effectful DSL is likewise rather problem-specific and lacks general-purpose monadic composition, or even functions. On the upside, it expresses the problem elegantly, is simple to implement and reason about, and lends itself to non-standard interpretations such as code generation (compilation) and abstract interpretation. A specialized DSL is liable to be frequently extended; the experience with the tagless-final style of DSL embedding shown that the DSL evolution can be made painless, with the maximum code reuse. We illustrate the argument on a simple but representative example of a rather complicated effect -- non-determinism, including committed choice. Unexpectedly, it turns out we can write interesting non-deterministic programs in an ML-like language just as naturally and elegantly as in the functional-logic language Curry -- and not only run them but also statically analyze, optimize and compile. The richness of the Meta Language does, in reality, compensate for the simplicity of the effectful DSL. The key idea goes back to the origins of ML as the Meta Language for the Edinburgh LCF theorem prover. Instead of using ML to build theorems, we now build (DSL) programs." @default.
- W3100748356 created "2020-11-23" @default.
- W3100748356 creator A5071276091 @default.
- W3100748356 date "2019-05-16" @default.
- W3100748356 modified "2023-10-10" @default.
- W3100748356 title "Effects Without Monads: Non-determinism – Back to the Meta Language" @default.
- W3100748356 cites W1489879801 @default.
- W3100748356 cites W1650673748 @default.
- W3100748356 cites W1974190112 @default.
- W3100748356 cites W1974921390 @default.
- W3100748356 cites W1977324591 @default.
- W3100748356 cites W1988824860 @default.
- W3100748356 cites W1991570511 @default.
- W3100748356 cites W2020217406 @default.
- W3100748356 cites W2023132547 @default.
- W3100748356 cites W2026049208 @default.
- W3100748356 cites W2051800122 @default.
- W3100748356 cites W2054801208 @default.
- W3100748356 cites W2064138295 @default.
- W3100748356 cites W2073001576 @default.
- W3100748356 cites W2078944436 @default.
- W3100748356 cites W2084115964 @default.
- W3100748356 cites W2089241138 @default.
- W3100748356 cites W2118927907 @default.
- W3100748356 cites W2132254891 @default.
- W3100748356 cites W2147578933 @default.
- W3100748356 cites W2166089338 @default.
- W3100748356 cites W2332451156 @default.
- W3100748356 cites W2402322558 @default.
- W3100748356 cites W3037296081 @default.
- W3100748356 cites W3169946360 @default.
- W3100748356 cites W4230997289 @default.
- W3100748356 cites W4235724312 @default.
- W3100748356 cites W4244177239 @default.
- W3100748356 cites W4293176479 @default.
- W3100748356 doi "https://doi.org/10.4204/eptcs.294.2" @default.
- W3100748356 hasPublicationYear "2019" @default.
- W3100748356 type Work @default.
- W3100748356 sameAs 3100748356 @default.
- W3100748356 citedByCount "4" @default.
- W3100748356 countsByYear W31007483562020 @default.
- W3100748356 countsByYear W31007483562021 @default.
- W3100748356 countsByYear W31007483562023 @default.
- W3100748356 crossrefType "journal-article" @default.
- W3100748356 hasAuthorship W3100748356A5071276091 @default.
- W3100748356 hasBestOaLocation W31007483561 @default.
- W3100748356 hasConcept C111472728 @default.
- W3100748356 hasConcept C121332964 @default.
- W3100748356 hasConcept C138885662 @default.
- W3100748356 hasConcept C142998047 @default.
- W3100748356 hasConcept C169590947 @default.
- W3100748356 hasConcept C192183473 @default.
- W3100748356 hasConcept C199360897 @default.
- W3100748356 hasConcept C201374245 @default.
- W3100748356 hasConcept C2780586882 @default.
- W3100748356 hasConcept C41008148 @default.
- W3100748356 hasConcept C42383842 @default.
- W3100748356 hasConcept C62520636 @default.
- W3100748356 hasConcept C76155785 @default.
- W3100748356 hasConcept C80444323 @default.
- W3100748356 hasConceptScore W3100748356C111472728 @default.
- W3100748356 hasConceptScore W3100748356C121332964 @default.
- W3100748356 hasConceptScore W3100748356C138885662 @default.
- W3100748356 hasConceptScore W3100748356C142998047 @default.
- W3100748356 hasConceptScore W3100748356C169590947 @default.
- W3100748356 hasConceptScore W3100748356C192183473 @default.
- W3100748356 hasConceptScore W3100748356C199360897 @default.
- W3100748356 hasConceptScore W3100748356C201374245 @default.
- W3100748356 hasConceptScore W3100748356C2780586882 @default.
- W3100748356 hasConceptScore W3100748356C41008148 @default.
- W3100748356 hasConceptScore W3100748356C42383842 @default.
- W3100748356 hasConceptScore W3100748356C62520636 @default.
- W3100748356 hasConceptScore W3100748356C76155785 @default.
- W3100748356 hasConceptScore W3100748356C80444323 @default.
- W3100748356 hasLocation W31007483561 @default.
- W3100748356 hasLocation W31007483562 @default.
- W3100748356 hasLocation W31007483563 @default.
- W3100748356 hasOpenAccess W3100748356 @default.
- W3100748356 hasPrimaryLocation W31007483561 @default.
- W3100748356 hasRelatedWork W2062155745 @default.
- W3100748356 hasRelatedWork W2087060298 @default.
- W3100748356 hasRelatedWork W2177866842 @default.
- W3100748356 hasRelatedWork W2488899953 @default.
- W3100748356 hasRelatedWork W2760941369 @default.
- W3100748356 hasRelatedWork W285832984 @default.
- W3100748356 hasRelatedWork W3006199460 @default.
- W3100748356 hasRelatedWork W3018952282 @default.
- W3100748356 hasRelatedWork W3100748356 @default.
- W3100748356 hasRelatedWork W4251805752 @default.
- W3100748356 hasVolume "294" @default.
- W3100748356 isParatext "false" @default.
- W3100748356 isRetracted "false" @default.
- W3100748356 magId "3100748356" @default.
- W3100748356 workType "article" @default.