Functional Reactive Programming

Concepts (17)

• Conal ElliottCo-author of the Fruit GUI library paper; affiliated with Microsoft Research; contributor to Fran reactive animation language.
• MonoidStandard algebraic abstraction with identity (ε) and associative binary operation ('); used to specify Image overlay operations.
• ApplicativeType class for computations with multiple effects; Image instantiated with pure and <*> pointwise operations.
• FunctorStandard type class enabling structure-preserving mappings via fmap; Image instantiates as lift_1.
• Antony CourtneyCo-author of the Fruit GUI library paper; affiliated with Yale University Department of Computer Science.
• ComonadDual to Monad; provides neighborhood operations (coreturn, cojoin) useful for spatial image transformations.
• Fran (Functional Reactive Animation)Prior reactive animation language that influenced AFRP and Fruit; uses Behavior type for signals.
• Fruit: Functional Reactive User Interface ToolkitA GUI library for Haskell based on formal denotational model using signals and signal transformers as core abstractions.
• PairA data type of two identical values, with denotational semantics as functions from Bool to a.
• StreamAn infinite sequence data type with semantics as functions from Nat to a.
• FRP (Functional Reactive Programming)Functional reactive programming paradigm; foundational to AFRP model; contributes semantics for signal transformers.
• ImageA functional type representing a mapping from 2D locations to colors (or other values), used for resolution-independent image synthesis.
• Memo TriesData structure generalizing Pair and Stream via indexable containers; demonstrates denotational design on memo structures
• AFRP (Arrowized Functional Reactive Programming)
• Hughes Arrows
• Monad
• Semantic Type Class Morphism (TCM)