各回の私の発表 第1回 Java onJavaScript 第2回 JavaScript on JavaScript 第3回 ECMAScript 4 on Standard ML ECMAScript 4=次世代のJavaScript
3.
Standard ML とは?MLはメーリングリストの略じゃないです Meta Language の略 関数型言語の一種 MLには、Standard MLとOCamlという2つの大きな分家があります HaskellはMLをベースにしてます
4.
Standard ML の良さ①Haskell同様、言語にパターンマッチングの機能があります 階乗の計算。4! = 24。関数名 factorial。 fun factorial 0 = 1 | factorial n = n * factorial ( n – 1 ) コンパイラを作るときに、この機能がものすごく便利
5.
Standard ML の良さ②Haskellよりも、手続き型のプログラミングがしやすいが、その代わり関数の遅延評価がない Standard ML の主な用途は 1.言語の処理系開発 2.数学の定理の自動証明