Alba

Contents:

  • 1. Introduction
  • 2. Certified Programming
  • 3. Language Elements
  • 4. Builtins
    • 4.1. Module: alba.core.general
    • 4.2. Module: alba.core.logic
    • 4.3. Module: alba.core.natural
    • 4.4. Module: alba.core.integer
    • 4.5. Module: alba.core.nat
    • 4.6. Module: alba.core.list
    • 4.7. Basic Types
  • 5. Intermediate Representation
  • 6. Compilation
  • 7. Platforms
  • 8. Backends
  • 9. Draft
  • 10. Bibliography
Alba
  • 4. Builtins
  • View page source

4. Builtins

The compiler _knows_ about some types. These types are builtin types. The builtin types and the corresponding functions reside all in the package alba.core.

  • 4.1. Module: alba.core.general
  • 4.2. Module: alba.core.logic
    • 4.2.1. Axioms and Builtin Definitions
    • 4.2.2. Equality
  • 4.3. Module: alba.core.natural
    • 4.3.1. Builtin Definitions
    • 4.3.2. Recursion and Induction
    • 4.3.3. Addition
      • 4.3.3.1. Helper Functions
      • 4.3.3.2. Associativity
      • 4.3.3.3. Commutativity
    • 4.3.4. Multiplication
    • 4.3.5. Exponentiation
    • 4.3.6. Order Relation
  • 4.4. Module: alba.core.integer
  • 4.5. Module: alba.core.nat
    • 4.5.1. Axioms and Builtin Definitions
    • 4.5.2. Embedding into Natural Numbers
  • 4.6. Module: alba.core.list
  • 4.7. Basic Types
    • 4.7.1. Scalar Types
      • 4.7.1.1. Integer Types
        • 4.7.1.1.1. Semantics
        • 4.7.1.1.2. Compile to Javascript
        • 4.7.1.1.3. Compile to Machine Code
      • 4.7.1.2. Floating Point
Previous Next

© Copyright 2021, Helmut Brandl.

Built with Sphinx using a theme provided by Read the Docs.