関数型言語
Miranda は遅延評価の純粋関数型言語であり、副作用がなく、命令型プログラミング機能は存在しない。