takenobu-hs/lazy_evaluation

---

takenobu-hs/lazy_evaluation.json

{
  "createdAt": "2015-06-10T13:07:32Z",
  "defaultBranch": "master",
  "description": "haskell lazy evaluation illustrated",
  "fullName": "takenobu-hs/lazy_evaluation",
  "homepage": "",
  "language": null,
  "name": "lazy_evaluation",
  "pushedAt": "2017-05-03T00:52:31Z",
  "stargazersCount": 72,
  "topics": [
    "ghc",
    "haskell"
  ],
  "updatedAt": "2024-12-02T05:11:48Z",
  "url": "https://github.com/takenobu-hs/lazy_evaluation"
}

Lazy evaluation illustrated

for Haskell divers

This is an illustrated document about lazy evaluation in Haskell

Here is: Lazy evaluation illustrated for Haskell divers (PDF).

Contents

1. Introduction

• Basic mental models
• Lazy evaluation
• Simple questions

2. Expressions

• Expression and value
• Expressions in Haskell
• Classification by values and forms
• WHNF

3. Internal representation of expressions

• Constructor
• Thunk
• Uniform representation
• WHNF
• let, case expression

4. Evaluation

• Evaluation strategies
• Evaluation in Haskell (GHC)
• Examples of evaluation steps
• Examples of evaluations
• Controlling the evaluation

5. Implementation of evaluator

• Lazy graph reduction
• STG-machine

6. Semantics

• Bottom
• Strict/Non-strict
• Lifted and boxed types
• Strictness analysis
• Sequential order

7. Appendix

• References