framework
active
framework:afrp-arrows-based-functional-reactive-programmingAFRP (Arrows-based Functional Reactive Programming)
Adaptation of Fran and FRP ideas to the arrows framework; core model underlying Fruit's design.
Neighborhood — ranked by edge-count
Concepts (4)
concept
- A GUI library for Haskell based on formal denotational model using signals and signal transformers as core abstractions.
- Denotational SemanticsimplementsFormal modeling approach used throughout Fruit to provide mathematical meaning to GUI abstractions; enables reasoning about program properties.
- Prior reactive animation language that influenced AFRP and Fruit; uses Behavior type for signals.
- Functional reactive programming paradigm; foundational to AFRP model; contributes semantics for signal transformers.
Frameworks (1)
framework
- Arrows (Hughes)implementsHaskell type class framework by John Hughes for combinator libraries; basis for AFRP's computation abstraction.
Related by similarity (8)
cosine ≥ 0.65 · no typed edgeEntities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.
- Related example domain using denotational design principles; continuous time semantics
- One of the three major competing approaches to parallel programming mentioned in the paper; used for comparison with Linda.
- A paradigm relying on recursion equations without assignment; Linda authors compare it on DNA sequence similarity problem.
- Prior framework for synergizing reasoning and acting in LLM agents, foundational to agent harness concept
- The property of a subsystem that cannot influence others; used to lesion systems in simulations.
- Indicator of agency requiring goal pursuit and flexibility.
- Epistemological position that what any phenomenon is is its causal/operational role; rejects hidden essence; foundational to CIMC's stance