concept
active
concept:imageImage
A functional type representing a mapping from 2D locations to colors (or other values), used for resolution-independent image synthesis.
Neighborhood — ranked by edge-count
Communities (1)
community
- Functional Reactive Programmingmembers_of
Claims (2)
claim
- Key benefit of the denotational design for images.
Concepts (7)
concept
- Monoidassociated_withimplementsStandard algebraic abstraction with identity (ε) and associative binary operation ('); used to specify Image overlay operations.
- Picturerelated_to
- Denotational DesignimplementsCore framework: methodology for typed, purely functional programming that uses precise semantic specification to inform both use and implementation
- ApplicativeimplementsType class for computations with multiple effects; Image instantiated with pure and <*> pointwise operations.
- FunctorimplementsStandard type class enabling structure-preserving mappings via fmap; Image instantiates as lift_1.
- ComonadimplementsDual to Monad; provides neighborhood operations (coreturn, cojoin) useful for spatial image transformations.
- Monadassociated_with
Artifacts (1)
artifact
- PanaboutA functional images library and system demonstrating denotational design in image synthesis.
Events (1)
event
- Denotational Design - LambdaJam 2015introducesA conference talk presenting denotational design methodology for typed functional programming.
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.
- Exemplary domain-specific type in denotational design; denotation as location-to-color function (Loc → Color).
- Mental pictures, ideas, or rules that people use to guide their actions in building.
- The focus on visual imagery or style that leads to forms not attainable by structure-preserving steps.
- A method of defining generic centers through narrative descriptions of human experience and deep feeling, used in the Mary Rose Museum process.
- The projected model from the system that conveys the design model to users, as per Norman.
- Used by Zubieta et al. to demonstrate actual µ-opioid release during placebo
- The method of examining a neighborhood meter by meter to identify healthy and damaged places as the basis for ongoing repair.
- The experiential measure of life; a living process is congruent with and governed by feeling, and the feeling a place presents is the measure of its life.