誰か呼んだ？(*^^)v
>7〜13
久しぶりに関数型言語らしい理論的な話ではありますまいか？
7が純粋関数型言語、8が副作用付き手続き型言語、10が制約型言語って
感じなんでしょうか？