ウォークスルー Standard ML たのしい関数型の世界へようこそ! 目次 本編 Standard ML についてStandard ML とは, Standard ML の特徴, Standard ML の仕様 開発環境SML/NJ について, SML/NJ の使い方, その他の処理系 はじめの一歩式の評価, 変数, 識別子, 関数, コメント, ファイルの使用 主なデータ型主なデータ型とリテラル, 論理型, 数値型, 文字型/文字列型, タプル型/ユニット型, レコード型, リスト型, 多相型, 等値型 関数関数の定義, パターンマッチング, if 式, 相互再帰関数, 高階関数, 関数式, 部分適用, 中置演算子 リストリストとは, ML のリスト, リストを扱う関数, リストの畳込み データ型の定義datatype 宣言, 型シノニム, 抽象データ型, 標準のデータ型 命令型言語の機能参照型, 評価順序, 例外処理 モジュールシステムモジュール, ストラクチャ, シグネチャ, シグネチャ制約の透明性, ファンクタ 関連文献公式サイト, 日本語の書籍 付録 実行可能形式へのコンパイル