関数型プログラミングの基礎 - リスト - リストと遅延評価
入門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, 遅延評価!
%