启动SML#示例 名古屋项目中的SML#代码简述

SML备忘单概述

SML是一种安排声明的语言，声明由;分隔（可选）。许多REPL和每次编译文件扩展名为.sml。签名文件扩展名为.sig，SML#的接口文件扩展名为.smi，在NJ环境中编译时扩展名为.cm，在MLton中则为.mlb。

基本值和函数

• 值声明：val x = 1

• 函数声明：

fun add x y = x + y

模式匹配也可以用于参数部分，例如：

fun mul 0 _ = 0 | mul _ 0 = 0 | mul x y = x * y

注释与基本数据类型

• 注释格式：(* comment (* nested *)。

• 减号：用~表示。

常见数据类型

• val unit = ()

• val char = chr (ord ( #"c" ))

• val string = " str " ^ " ing "

• val int = 10 div 2 mod 3

• val real = ~ 1.0

更多值/函数声明及模式匹配详解请参阅官方文档。