https://github.com/sdiehl/write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
https://github.com/sdiehl/write-you-a-haskell

book compiler evaluation functional-language functional-programming haskel hindley-milner intermediate-representation lambda-calculus pdf-book type type-checking type-inference type-system type-theory

Last synced: about 2 months ago
JSON representation

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

• Host: GitHub
• URL: https://github.com/sdiehl/write-you-a-haskell
• Owner: sdiehl
• License: mit
• Created: 2015-01-05T13:44:54.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2021-01-11T13:56:03.000Z (over 3 years ago)
• Last Synced: 2024-05-16T20:27:16.578Z (4 months ago)
• Topics: book, compiler, evaluation, functional-language, functional-programming, haskel, hindley-milner, intermediate-representation, lambda-calculus, pdf-book, type, type-checking, type-inference, type-system, type-theory
• Language: Haskell
• Size: 938 KB
• Stars: 3,319
• Watchers: 192
• Forks: 256
• Open Issues: 30
• Metadata Files:
  • Readme: README.md
  • Contributing: .github/CONTRIBUTING.md
  • License: LICENSE

Awesome Lists containing this project

• my-awesome - sdiehl/write-you-a-haskell - language,functional-programming,haskel,hindley-milner,intermediate-representation,lambda-calculus,pdf-book,type,type-checking,type-inference,type-system,type-theory pushed_at:2021-01 star:3.3k fork:0.3k Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) (Haskell)