SML# Project

SML# Document Version 3.7.1

II Tutorials 6.5 smlsharp command modes 7.1 About the ML language family

Chapter 7 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.

7.1 About the ML language family

7.2 Declarative programming

7.3 Representing computation by composing expressions

7.4 Constants literals and built-in primitives

7.5 Type bool and conditional expressions

7.6 Compound expressions and function definitions

7.7 Recursive functions

7.8 Functions with multiple arguments

7.9 Function application syntax

7.10 Higher-order functions

7.11 Using higher-order functions

7.12 Imperative features of ML

7.13 Mutable memory reference types

7.14 Left-to-right applicative order evaluation

7.15 Procedural control

7.16 Loop and tail recursion

7.17 let expressions

7.18 List data type

7.19 Principle in composing expressions

7.20 Polymorphic functions