>>935
関数型言語は数学的な裏付けがあるから例えとしては合わないのでは。