sancovp/dark-factory-live - 12페이지

0-2-2-understand-lens-optic

[0.2.2] An optic pairing a getter with a setter over a product type's field, enabling focused access to one du_payload

원문 언어: 영어

0-2-3-understand-du-tag

[0.2.3] A value-level or type-level label that uniquely identifies which variant of a discriminated union is active in

원문 언어: 영어

0-2-4-understand-du-payload

[0.2.4] The data value carried by a specific variant of a discriminated union. Only one payload is live at a time; the

원문 언어: 영어

0-2-5-understand-prism-optic

[0.2.5] An optic pairing a matcher with a builder over a sum type's du_variant, enabling partial projection into one d

원문 언어: 영어

0-2-6-understand-du-match

[0.2.6] The elimination form: a function that, given a discriminated union value, dispatches on its du_tag to apply th

원문 언어: 영어

0-2-understand-deep-tagged-union-type

[0.2] the deep_tagged_union_type subdomain of type systems for working programmers (28 concepts)

원문 언어: 영어

0-3-1-understand-instantiation

[0.3.1] Operation that replaces quantified variables in a type scheme with fresh type variables.

원문 언어: 영어

0-3-2-understand-constraint-solving

[0.3.2] The phase that processes the generated constraints via unification, producing the principal substitution.

원문 언어: 영어

0-3-3-understand-generalization

[0.3.3] Operation that abstracts free type variables into quantified variables, forming a type scheme.

원문 언어: 영어

0-3-4-understand-pt02

[0.3.4] type_inference: the algorithmic process of deriving types for expressions by propagating constraints from know

원문 언어: 영어

0-3-5-understand-pt09

[0.3.5] instantiation: replacing quantified variables in a type scheme with fresh type variables, yielding a less-gene

원문 언어: 영어

0-3-6-understand-constraint

[0.3.6] An atomic equational condition of the form type_A = type_B produced during constraint_generation, awaiting res

원문 언어: 영어

0-3-understand-deep-type-inference

[0.3] the deep_type_inference subdomain of type systems for working programmers (56 concepts)

원문 언어: 영어

0-4-1-understand-optics-type

[0.4.1] Abstracting getters/setters across product and sum types (lens, prism, traversal).

원문 언어: 영어

0-4-2-understand-type-inference

[0.4.2] Compiler or runtime deducing types from context without explicit annotation.

원문 언어: 영어

0-4-3-understand-discriminated-union

[0.4.3] Tagged union enabling compiler-verified exhaustive pattern matching over variants.

원문 언어: 영어

0-4-4-understand-type-variable

[0.4.4] Placeholder symbol ranging over types, awaiting instantiation (alpha in Hindley-Milner).

원문 언어: 영어

0-4-5-understand-type-error

[0.4.5] Violation of type constraints detected by the type system (static or runtime).

원문 언어: 영어

0-4-6-understand-tagged-union-type

[0.4.6] Discriminated union with explicit tag field enabling exhaustive pattern matching.

원문 언어: 영어

0-4-understand-type-systems-for-working-programmers

[0.4] the type_systems_for_working_programmers subdomain of type systems for working programmers (157 concepts)

원문 언어: 영어

0-understand-type-systems-for-working-programmers

[0] the type systems for working programmers library — every skill a certified region of the KB; call number = home : facets

원문 언어: 영어

using-type-systems-for-working-programmers

Use the type systems for working programmers neurosymbolic module: RAG library, agent brain, growable KB — proof-checked

원문 언어: 영어

0-1-understand-concurrency-synchronization-primitives-and-memor

[0.1] the concurrency_synchronization_primitives_and_memor subdomain of concurrency synchronization primitives and memory models (99 concepts)

원문 언어: 영어

0-1-2-understand-c11-memory-model

[0.1.2] Standard C11 specification defining memory orderings: memory_order_relaxed, memory_order_consume, memory_order

원문 언어: 영어

0-1-3-understand-exponential-backoff

[0.1.3] Contention management strategy backing off exponentially after failed lock acquisition; reduces bus traffic an

원문 언어: 영어

0-1-5-understand-happens-before-relation

[0.1.5] A fundamental ordering relation in memory models defining that if operation A happens-before operation B, then

원문 언어: 영어

0-1-4-understand-mcs-lock

[0.1.4] Queued lock where each waiting thread spins on a locally-owned node linked into a queue; cache-friendly with o

원문 언어: 영어

0-1-1-understand-sequentially-consistent

[0.1.1] The strongest memory ordering requiring a single total order of all sequentially consistent operations visible

원문 언어: 영어

0-1-6-understand-synchronizes-with

[0.1.6] A relation between atomic operations in memory models where a release fence on one thread synchronizes with an

원문 언어: 영어

0-2-understand-core

[0.2] the core subdomain of concurrency synchronization primitives and memory models (5 concepts)

원문 언어: 영어

0-2-1-understand-atomic-cas

[0.2.1] Compare-and-swap operation atomically loading a value, comparing it to an expected value, and storing a new va

원문 언어: 영어

0-2-2-understand-atomic-exchange

[0.2.2] Atomic operation that reads the current value of a variable and writes a new value in a single indivisible ste

원문 언어: 영어

0-2-4-understand-cache-alignment

[0.2.4] Placement of data structures on memory boundaries matching cache line size, typically 64 bytes, preventing fal

원문 언어: 영어

0-2-3-understand-memory-order-acquire

[0.2.3] Memory ordering barrier ensuring all loads and stores after the barrier in program order cannot be reordered b

원문 언어: 영어

0-2-5-understand-memory-order-release

[0.2.5] Memory ordering barrier ensuring all loads and stores before the barrier in program order cannot be reordered

원문 언어: 영어

0-3-understand-deep-c11-memory-model

[0.3] the deep_c11_memory_model subdomain of concurrency synchronization primitives and memory models (31 concepts)

원문 언어: 영어

0-3-6-understand-no-happens-before-establishment

[0.3.6] A relaxed operation neither participates in nor establishes a happens-before relationship with any other opera

원문 언어: 영어

0-3-1-understand-relaxed-atomicity-guarantee

[0.3.1] The sole guarantee provided by memory_order_relaxed: the atomic variable is read and written atomically withou

원문 언어: 영어

0-3-2-understand-reordering-freedom-privilege

[0.3.2] A relaxed atomic operation imposes no constraints on the reordering of memory operations by either the compile

원문 언어: 영어

0-3-4-understand-seq-cst-global-total-order

[0.3.4] A single total order of all sequentially consistent operations that is visible and agreed upon by all threads

원문 언어: 영어