SML(Standard ML)の勉強がしたいけど、情報があまりない

Question

SMLの勉強がしたいのですが、本やネットの記事が少なくて、あまり勉強がはかどりません。
どなたか日本語の良い文献やドキュメントを知りませんか？

またどのように勉強したらいいかも、できたらアドバイスよろしくおねがいします。
（やはり英語のドキュメントを参考にすべきですかね・・・）

Answer 1

私が学生のときは「プログラミング言語ML」が教科書でした。もう中古しか手に入らないと思いますが…

http://www.amazon.co.jp/%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E8%A8%80%E8%AA%9EML-ASCII-SOFTWARE-SCIENCE-Language/dp/4756116418

今見つけたものですが、
http://www.geocities.jp/m_hiroi/func/#sml
は、カリー化とか遅延評価とか、MLでよくやる字句解析、構文解析とかが取り上げられていて良さそうに思いました。

Comments

[yu-ki0]

サイトの紹介有り難うございます。
なかなかSMLになれないのですが、早く習得するコツや考え方などあったりします？

[VIRTUE]

ML でとっつきにくいのは、反復処理を再帰で書く必要があるところかと思います。
もし習得済みのプログラミング言語がおありでしたら、その言語で再帰に慣れておくと良いと思います。
https://projecteuler.net/ や https://codeiq.jp/ あたりからお題を拾って、慣れた言語で再帰を使って解いてみて、それを ML に書き直してみると良いのではないでしょうか。
そのときに引数のパターンマッチングを活用するように意識してみると良いと思います。

ML に限らない話をすれば、新しいプログラミング言語を習得しようというときは、まずは「写経」かと思います。お手本をそのまま書き写し、動かしてみるだけです。

一通り「写経」を行うと、以下のようなことが起きます。
・その言語の持つ機能の目次が頭の中に構築される
・その言語の文法が体に馴染んでくる
・Copy & Paste ではなく書き写すことで、何度かは文法エラーに遭遇するはずで、文法エラーの出方の特徴に慣れてくる

また「写経」中に、「なぜこの書き方でこういう動作になるんだろう？」とか、「こういう動作に変えたいときはどうしたらいいんだろう？」といった疑問が湧いたら、その場ですぐに少し調べたり試したりしてみると習得が早いです。これは5分間程度に留めて、解決しないときは先に進んでしまってください。