{"id":18781909,"url":"https://github.com/takenobu-hs/lazy_evaluation","last_synced_at":"2025-04-13T12:08:02.334Z","repository":{"id":33551442,"uuid":"37197636","full_name":"takenobu-hs/lazy_evaluation","owner":"takenobu-hs","description":"haskell lazy evaluation illustrated","archived":false,"fork":false,"pushed_at":"2017-05-03T00:52:31.000Z","size":24077,"stargazers_count":72,"open_issues_count":0,"forks_count":1,"subscribers_count":9,"default_branch":"master","last_synced_at":"2025-04-13T12:07:57.158Z","etag":null,"topics":["ghc","haskell"],"latest_commit_sha":null,"homepage":"","language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/takenobu-hs.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2015-06-10T13:07:32.000Z","updated_at":"2024-12-02T05:11:48.000Z","dependencies_parsed_at":"2022-08-27T10:12:20.768Z","dependency_job_id":null,"html_url":"https://github.com/takenobu-hs/lazy_evaluation","commit_stats":null,"previous_names":[],"tags_count":1,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/takenobu-hs%2Flazy_evaluation","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/takenobu-hs%2Flazy_evaluation/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/takenobu-hs%2Flazy_evaluation/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/takenobu-hs%2Flazy_evaluation/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/takenobu-hs","download_url":"https://codeload.github.com/takenobu-hs/lazy_evaluation/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248710434,"owners_count":21149190,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["ghc","haskell"],"created_at":"2024-11-07T20:34:11.767Z","updated_at":"2025-04-13T12:08:02.313Z","avatar_url":"https://github.com/takenobu-hs.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"Lazy evaluation illustrated\n===========================\n  for Haskell divers\n  ------------------\n\nThis is an illustrated document about lazy evaluation in Haskell\n\nHere is: [Lazy evaluation illustrated for Haskell divers](http://takenobu-hs.github.io/downloads/haskell_lazy_evaluation.pdf) (PDF).\n\n\nContents\n--------\n1. Introduction\n  - Basic mental models\n  - Lazy evaluation\n  - Simple questions\n2. Expressions\n  - Expression and value\n  - Expressions in Haskell\n  - Classification by values and forms\n  - WHNF\n3. Internal representation of expressions\n  - Constructor\n  - Thunk\n  - Uniform representation\n  - WHNF\n  - let, case expression\n4. Evaluation\n  - Evaluation strategies\n  - Evaluation in Haskell (GHC)\n  - Examples of evaluation steps\n  - Examples of evaluations\n  - Controlling the evaluation\n5. Implementation of evaluator\n  - Lazy graph reduction\n  - STG-machine\n6. Semantics\n  - Bottom\n  - Strict/Non-strict\n  - Lifted and boxed types\n  - Strictness analysis\n  - Sequential order\n7. Appendix\n  - References\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftakenobu-hs%2Flazy_evaluation","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftakenobu-hs%2Flazy_evaluation","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftakenobu-hs%2Flazy_evaluation/lists"}