>>708
高階関数、パターンマッチ、代数的データ型、多相型、抽象型、…
現代的な(静的型)関数型言語が持っている機能はほとんど持っているよ。ファンクタでさえオブジェクト＋
抽象型でエミュレートできる。特にML系言語が持っているまともなパターンマッチ持っているのは
少数派だろ。いまどきの言語が取り入れてるのはせいぜい高階関数と多相型までで、パターンマッチ
とか代数的データ型取り入れてるのは少数派だ。あと、Scala自体はJoin計算とはあまり関係ないよ。
型理論はScalaの型システムを設計するに当たって駆使されてるのは間違いないが、それは設計理念
とは別の話だ。