遅延評価
Concurrent Clean
Haskell
Lazy K