Language specification

This section is focused on questions related to the specification of the language - why a particular concept was defined, why a feature is defined that way, and whether a concept is necessary for the core language.

• Aspects
  • Costs and benefits
  • Uses
  • Terminology
• Assembly
  • Architectures
  • Operating systems
  • Instruction database
  • Foreign code
  • Operations
• Concurrency
  • Model
  • Concurrent operations
  • Memory models and races
  • Other types of races
  • Blocking
  • Simulation
  • Parallelism
• Dispatch
  • Clause
  • Priorities
  • Overloading
  • Return type overloading
  • Implicit conversions
  • Implementation
• Evaluation strategy
  • Purity
  • Control constructs
  • Function composition
  • Partial evaluation
  • Totality
  • Simulation
  • Data structures
  • Normalizing
  • Time complexity
  • Implementation complexity
  • Space complexity
  • Debugging
  • Parallelism and concurrency
  • Types
  • Pipes
  • Referential transparency
• Exceptions
  • Exception menagerie
  • Non-categorizations
  • Patterns
  • Traces
  • Top level
  • Automatic propagation
  • Syntax
  • Finally
  • no-throw
  • Exception API
  • Signatures
  • Implementation
  • Interruptible cleanup
  • Assertions
• As fast as C
  • Benchmarks
  • C programs
  • Natural translations
  • Asymptotics
  • Tail calls
  • Laziness
  • Avoiding slow operations
• Functional logic
• Logic
  • Logic style
  • Type annotations
  • Jumbo connective
  • Common connectives
  • Exponential
  • Classification of sequents
  • Polarized logic
  • Structural rules
  • Quantifiers
  • Logic translations
  • Definitions
  • Set theory
  • Recursion and infinite structures
  • Confluent reduction
  • Levels
• Logic programming
  • Motivation
  • Semantics
  • Modes
  • Sources
• Macros
  • Comparison
  • Terminology
  • Hygiene
  • Formal definition
  • Parsing
• Memory
  • Memory models
  • Pointers
  • References
  • Representation
• Modules
  • Terminology
  • Module
  • Functors
  • Lexical scoping
  • Imports
  • Type piracy
  • Speed
  • Split definition
  • Module versioning
• Objects
  • Definition
  • Definition of object
  • Encapsulation
  • Inheritance
  • Polymorphism
  • Design patterns
• Operational primitives
  • Assembly
  • Abstracted assembly
  • Runtime and OS calls
  • FFI calls
• Posets
  • Laws
  • Definition
• Resource management
  • Manual approach
  • try-finally
  • try-with-resources
  • Bracket
  • Scope guard
  • Goto cleanup
  • Garbage collection
  • RAII
  • Destructors
  • Exception safety
• Security
  • Best practices
  • Threat modeling
  • Cryptography
• Sets
  • Definition
  • Annotations
  • Function annotations
• Stateful programming
  • Blocks
  • I/O monad showdown
  • Logic programming
  • Colored values
  • “Unsafe” I/O
  • Limitations of purity
  • Automatic destructive update
  • Store
• Term rewriting
  • Higher-order rewriting
  • Currying
  • Conditional rewriting
  • Cycles
  • Nondeterminism
  • Infinite reduction
  • Meaningless terms
  • Left-nonlinearity
• Types
  • Are sets types?
  • Is Stroscot typed?
  • Is Stroscot static?
  • Is Stroscot dynamic?
  • Is Stroscot strong?
  • Type inference
  • Soundness and completeness
  • Unityping
  • Model checking
  • Notes
• Values
  • Colors
  • Bare symbols
  • Term
  • SCC
  • Infinite term
  • Functions/Sets
  • Binders/Logical proofs
  • Rewriting system
• Verification
  • Scalability
  • Implementation
  • Configurable Program Analysis
  • Properties
  • SAT solving
  • Thread safety