http://www.cs.nott.ac.uk/~gmh/book.html 最初の5章はPDFで見れ、スライドは１１章まで。最初は関数の簡約、変換の解説から入っている。2章はPreludeの説明とHugsの使い方(:loadと:reload)、そして文法。3章は型と型クラス(作り方は後ろの章)、4章は関数、5…