計算機科学のブログ

関数型プログラミングの基礎 - リスト - リストと遅延評価

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)の UNIT1(関数型プログラミングの基礎)、LESSON 6(リスト)、6.2(リストと遅延評価)、クイックチェック 6-1の解答を求めてみる。

コード

sample1.hs

main :: IO ()
main = do
  putStrLn "Hello, 遅延評価!"
-- 以下は評価が永遠に終わらない
--   print backwardInfinity

-- 定義は可能
backwardInfinity :: [Integer]
backwardInfinity = reverse [1 ..]

入出力結果(Terminal, Zsh)

% runghc sample1.hs
Hello, 遅延評価!
%