Chapter 3. Introduction to ML programming
The SML# language is a super set of Standard ML. To write a program in SML# exploiting its advanced features, you must first learn Standard ML programming. This chapter provides ML programming tutorial for those who first learn ML programming.
Contents
- §3.1 About the ML language family
- §3.2 Declarative programming
- §3.3 Representing computation by composing expressions
- §3.4 Constants literals and built-in primitives
- §3.5 Type bool and conditional expressions
- §3.6 Compound expressions and function definitions
- §3.7 Recursive functions
- §3.8 Functions with multiple arguments
- §3.9 Function application syntax
- §3.10 Higher-order functions
- §3.11 Using higher-order functions
- §3.12 Imperative features of ML
- §3.13 Mutable memory reference types
- §3.14 Left-to-right applicative order evaluation
- §3.15 Procedural control
- §3.16 Loop and tail recursion
- §3.17 let expressions
- §3.18 List data type
- §3.19 Principle in composing expressions
- §3.20 Polymorphic functions