ウォークスルー Standard ML

たのしい関数型の世界へようこそ!

Standard ML は老舗の関数型言語の一つです. 型推論機構,パターンマッチング機構,モジュールシステムなどが特徴的な言語,後発の言語に多大な影響を与えています.

このチュートリアルは,関数型言語になじみのない方向けに,Standard ML による関数型プログラミングのエッセンスを紹介します. 対象読者は,なんらかの言語でプログラミングの経験がある方です.

目次

  1. Standard ML について
  2. 開発環境
  3. はじめの一歩
  4. 主なデータ型
  5. 関数
  6. リスト
  7. データ型の定義
  8. 命令型言語の機能
  9. モジュールシステム
  10. 関連文献