Fruit enables modularity through explicit connection between GUI type and interactive graphics subsystem.

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

• Fruit is the only known GUI toolkit providing multiple active views without requiring extra forethought or planning by the original GUI programmer.finding0.849
  Novel capability of Fruit demonstrating practical advantages of purely functional approach to GUI design; enabled by focus model and clipping.
• Fruit is the only toolkit we are aware of that provides multiple active views for free, without requiring any extra forethought or planning by the programmer.concept0.811
• Fruit: Functional Reactive User Interface Toolkitconcept0.808
  A GUI library for Haskell based on formal denotational model using signals and signal transformers as core abstractions.
• Fruit provides continuous zooming capability without toolkit restructuring, demonstrated by minipb example with 0.5 uniform scaling.finding0.806
  Empirical demonstration that Fruit's denotational model enables novel features like continuous zooming without reimplementation.
• Software programs could function as semilattices rather than hierarchical trees.claim0.752
• Developing a simple, precise denotational model of graphical user interfaces enables proving properties of programs and establishing objective comparisons of library abstraction levels.claim0.741
  Authors' core assertion that formal modeling of GUIs provides foundational benefits for language design and program verification.
• MCA provides functional intermediates: goal-directedness of modules pushes partial solutions toward attractors, resolving the problem of useful intermediates in evolution.claim0.733
  Subclaim.
• The complex nature of functional relationships between component parts begins to look less like the product of selection at the system level, and more like the source of evolutionary individuality.claim0.728
  Inverts the causal arrow: relationships produce individuality, not vice versa.