https://github.com/takenobu-hs/lazy_evaluation

haskell lazy evaluation illustrated
https://github.com/takenobu-hs/lazy_evaluation

ghc haskell

Last synced: about 2 hours ago
JSON representation

haskell lazy evaluation illustrated

• Host: GitHub
• URL: https://github.com/takenobu-hs/lazy_evaluation
• Owner: takenobu-hs
• Created: 2015-06-10T13:07:32.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2017-05-03T00:52:31.000Z (over 7 years ago)
• Last Synced: 2023-02-26T08:32:43.076Z (over 1 year ago)
• Topics: ghc, haskell
• Homepage:
• Size: 23 MB
• Stars: 64
• Watchers: 8
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
Lazy evaluation illustrated

===========================

  for Haskell divers

  ------------------

This is an illustrated document about lazy evaluation in Haskell

Here is: [Lazy evaluation illustrated for Haskell divers](http://takenobu-hs.github.io/downloads/haskell_lazy_evaluation.pdf) (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