Functional programming using Caml Light

• 1) Introduction

I) Functional programming

• 2) Functional languages
  • 2.1) History of functional languages
  • 2.2) The ML family
  • 2.3) The Miranda family
• 3) Basic concepts
  • 3.1) Toplevel loop
  • 3.2) Evaluation: from expressions to values
  • 3.3) Types
  • 3.4) Functions
  • 3.5) Definitions
  • 3.6) Partial applications
• 4) Basic types
  • 4.1) Numbers
  • 4.2) Boolean values
  • 4.3) Strings and characters
  • 4.4) Tuples
  • 4.5) Patterns and pattern-matching
  • 4.6) Functions
• 5) Lists
  • 5.1) Building lists
  • 5.2) Extracting elements from lists: pattern-matching
  • 5.3) Functions over lists
• 6) User-defined types
  • 6.1) Product types
  • 6.2) Sum types
  • 6.3) Summary

II) Caml Light specifics

• 7) Mutable data structures
  • 7.1) User-defined mutable data structures
  • 7.2) The {\ptt ref} type
  • 7.3) Arrays
  • 7.4) Loops: {\ptt while} and {\ptt for}
  • 7.5) Polymorphism and mutable data structures
• 8) Escaping from computations: exceptions
  • 8.1) Exceptions
  • 8.2) Raising an exception
  • 8.3) Trapping exceptions
  • 8.4) Polymorphism and exceptions
• 9) Basic input/output
  • 9.1) Printable types
  • 9.2) Output
  • 9.3) Input
  • 9.4) Channels on files
• 10) Streams and parsers
  • 10.1) Streams
  • 10.2) Stream matching and parsers
  • 10.3) Parameterized parsers
  • 10.4) Further reading
• 11) Standalone programs and separate compilation
  • 11.1) Standalone programs
  • 11.2) Programs in several files
  • 11.3) Abstraction

III) A complete example

• 12) ASL: A Small Language
  • 12.1) ASL abstract syntax trees
  • 12.2) Parsing ASL programs
• 13) Untyped semantics of ASL programs
  • 13.1) Semantic values
  • 13.2) Semantic functions
  • 13.3) Examples
• 14) Encoding recursion
  • 14.1) Fixpoint combinators
  • 14.2) Recursion as a primitive construct
• 15) Static typing, polymorphism and type synthesis
  • 15.1) The type system
  • 15.2) The algorithm
  • 15.3) The ASL type-synthesizer
• 16) Compiling ASL to an abstract machine code
  • 16.1) The Abstract Machine
  • 16.2) Compiling ASL programs into CAM code
  • 16.3) Execution of CAM code
• 17) Answers to exercises
• 18) Conclusions and further reading