Felix 101: the Basics

The first module gives a brief overview of some basics.

• Comments
  • C++ comments
  • Nested C comments
• Identifiers
  • C like identifiers
  • Tex Identifiers
• Variables
  • Variables with type and initialiser
  • Variables without type annotation
  • Variables without initialiser
  • Simple Assignment
  • Variable Hoisting
• Logic Type Bool
  • Type
  • Constants
  • Operations
  • Summary: Logical operations
• Integers
  • Type
  • Literals
  • Negation
  • Infix Operators
  • Sign of quotient and remainder
  • Comparisons
  • Constant Folding
  • Division by Zero
  • Out of bounds values
  • Summary: Integer Comparisons
  • Summary: Integer Operations
  • More Integers
• Slices
  • Type
  • Inclusive Slice
  • Exclusive Slice
  • Counted Slice
  • Infinite Slices
  • Empty Slice
  • More Slices
• Floating Point Numbers
  • Type
  • Literals
  • Operations
  • Summary: Double Comparisons
  • Summary: Double Operations
  • More Floats
• Strings
  • Type
  • Literals
  • Length
  • Concatenation
  • Substring Extraction
  • Indexing
  • Comparisons
  • Summary: String Comparisons
  • Summary: Double Operations
• Characters
  • Type
  • Extraction from String
  • Ordinal Value
  • Construction from Ordinal Value
• Simple Control Flow
  • Sequential Flow
  • No operation
  • Labels and Gotos
  • Chained Conditionals
• Loops
  • While loop
  • For loop
• Arrays
  • Type
  • Value
  • Operations
• Tuples
  • Type
  • Values
  • Projections
• Procedures
  • Type
  • Definition
  • Invocation
• Functions
  • Type
  • Definition by Expression
  • Definition by Statements
  • No side effects
  • Purity
• Function Application
• Pythagoras