Usage

Tutorial

• Getting Started
  • How to install SLAP
  • Compiling your program
  • Using SLAP on toplevel
  • Explanation of the first program
• Vectors
  • Vector types
  • Creating vectors
  • Vector-vector operations
  • Iteration
  • Conversion into lists or arrays
  • Index-based access
  • Detection of dimensional inconsistency
• Matrices
  • Creating matrices
  • Matrix types
  • Matrix-vector operations
  • Matrix-matrix operations
  • Iteration
  • Conversion into lists or arrays
  • Index-based access
• Dimensions that are unknown until runtime
  • Conversion of lists or arrays into vectors
  • Conversion of lists or arrays into matrices
  • Static size checking
  • Using dynamic checks together
  • Returning vectors and matrices that have generative phantom types

Reference

• API documentation (generated by make doc)
• PPX syntax extensions (generated by make doc)

Demonstration

We show how to use SLAP during simple examples of numerical computation. Small programs appeared in the following sections are public domain.

Gradient-based optimization

Sample programs: examples/optimization/

• Preliminary (containing the definition of a target function)
• Steepest descent method
• Bisection search of learning rate by Wolfe conditions
• Newton method
• Quasi-Newton method
• Visualization tips