純粋タイプで元気（まとも）なのはHaskellだけ？
ttp://ja.wikipedia.org/wiki/%E9%96%A2%E6%95%B0%E5%9E%8B%E8%A8%80%E8%AA%9E