ウォークスルー Standard ML

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

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

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

目次

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