claim

active

claim:using-standard-algebraic-abstractions-multiplies-power-through-ecosystem-support

Using standard algebraic abstractions multiplies power through ecosystem support.

Argument for reusing type classes.

Source paper

extracted_from

Denotational design with type class morphisms (extended version)

(2015) · Elliott, Conal

Neighborhood — ranked by edge-count

Concepts (1)

concept

Monoid
about
Standard algebraic abstraction with identity (ε) and associative binary operation ('); used to specify Image overlay operations.

Related by similarity (8)

cosine ≥ 0.65 · no typed edge

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

Denotational design uses standard algebraic abstractions.claim0.771
One of the six key properties of denotational design.
Abstraction is the key of any modularization; without it, reliability and correctness guarantees vanish.claim0.756
Fundamental design principle driving Oberon: proper abstraction enables modular structure and maintainability.
Elephant programs that interact non-trivially with the outside world can have both input-output specifications, relating the programs inputs and outputs, and accomplishment specifications concerning what the program accomplishes in the world. These concepts are respectively generalizations of the philosophers' illocutionary and perlocutionary speech acts.claim0.754
Fifth abstract claim.
What standard abstraction to use for (⊸)?question0.752
Question prompting the use of Category for linear transformations.
Software implementations for all of the models/behaviours presented are common for n = 2, and can be made very efficient for α_i that map many objects onto a much smaller set of object families.claim0.744
Claim about current practical feasibility and efficiency of 2-way associative implementations.
Representation and computation can diverge; cyclic geometry is representational invariant while operations use generic substrate.claim0.739
Simple problems require systems that expose simple solutions; forcing complex solutions signals misaligned abstraction level.claim0.733
Parlog's merge process for client-server is unnecessarily complex; Linda's tuple operations remain flexible across problem variants.
Developing a simple, precise denotational model of graphical user interfaces enables proving properties of programs and establishing objective comparisons of library abstraction levels.claim0.732
Authors' core assertion that formal modeling of GUIs provides foundational benefits for language design and program verification.