プログラミング言語SML#解説
令和3年1月
Contents
- I 概要
-
II チュートリアル
- 5 SML#のインストール
- 6 SML#プログラミング環境の準備
- 7 MLプログラミング入門
- 8 SML#の拡張機能：レコード多相性
- 9 SML#の拡張機能：その他の型の拡張
- 10 SML#の拡張機能：Cとの直接連携
- 11 SML#の拡張機能：マルチスレッドプログラミング
- 12 SML#の拡張機能：SQLの統合
- 13 SML#の拡張機能：動的型付け機構とJSONの型付き操作
- 14 SML#の拡張機能：SML#分割コンパイルシステム
-
III 参照マニュアル
- 15 序論
- 16 SML#の構造
- 17 字句構造
- 18 型
-
19 式
- 19.1 演算子式の展開
- 19.2 定数式scon
- 19.3 long識別子式 longVid
- 19.4 レコード式 {lab = exp, , lab = exp}
- 19.5 組式(exp,,exp)とunit式()
- 19.6 フィールドセレクタ式 #lab
- 19.7 リスト式 [exp, , exp]
- 19.8 逐次実行式 (exp; ; exp)
- 19.9 局所宣言式 let declList in exp;;exp end
- 19.10 関数適用式 appexp atexp
- 19.11 フィールドアップデート式 appexp # { exprow }
- 19.12 型制約式 exp : ty
- 19.13 論理演算式 exp andalso exp および exp orelse exp
- 19.14 例外処理式 exp handle match
- 19.15 例外発生式 raise exp
- 19.16 条件式 if exp then exp else exp
- 19.17 while式 while exp do exp
- 19.18 場合分け式 case exp of match
- 19.19 関数式 fn match
- 19.20 組み込み型とその演算
- 19.21 静的インポート式: _import string : cfunty
- 19.22 動的インポート式: exp : _import cfunty
- 19.23 サイズ式 _sizeof(ty)
- 19.24 動的型キャスト式 _dynamic exp as ty
- 19.25 動的型キャスト付き場合分け式 _dynamiccase exp of match
- 20 パターンとパターンマッチング
- 21 識別子のスコープ規則
- 22 SQL式とコマンド
- 23 核言語の宣言とインターフェイス
- 24 モジュール言語の宣言とインタフェイス
- 25 SML#のライブラリ概要
-
26 Standard ML標準ライブラリ
- 26.1 ARRAY
- 26.2 ARRAY_SLICE
- 26.3 BIN_IO
- 26.4 IMPERATIVE_IO
- 26.5 STREAM_IO
- 26.6 BOOL
- 26.7 BYTE
- 26.8 CHAR
- 26.9 COMMAND_LINE
- 26.10 DATE
- 26.11 GENERAL
- 26.12 IEEE_REAL
- 26.13 IO
- 26.14 INTEGER
- 26.15 INT_INF
- 26.16 LIST
- 26.17 LIST_PAIR
- 26.18 MONO_ARRAY
- 26.19 MONO_ARRAY_SLICE
- 26.20 MONO_VECTOR
- 26.21 MONO_VECTOR_SLICE
- 26.22 OPTION
- 26.23 OS
- 26.24 OS_FILE_SYS
- 26.25 OS_IO
- 26.26 OS_PATH
- 26.27 OS_PROCESS
- 26.28 REAL
- 26.29 MATH
- 26.30 STRING
- 26.31 STRING_CVT
- 26.32 SUBSTRING
- 26.33 TEXT
- 26.34 TEXT_IO
- 26.35 TEXT_STREAM_IO
- 26.36 PRIM_IO
- 26.37 TIME
- 26.38 TIMER
- 26.39 VECTOR
- 26.40 VECTOR_SLICE
- 26.41 WORD
- 26.42 トップレベル環境
- 27 SML#システムライブラリ
- 28 SML#コンパイラの起動
- 29 SML#実行時データ管理
- IV プログラミングツール
- V SML#の内部構造
- VI 参考文献，その他