https://github.com/kritzcreek/fby19

Type inference from scratch - Material for my talk at F(by)19
https://github.com/kritzcreek/fby19

Last synced: 10 days ago
JSON representation

Type inference from scratch - Material for my talk at F(by)19

• Host: GitHub
• URL: https://github.com/kritzcreek/fby19
• Owner: kritzcreek
• License: bsd-3-clause
• Created: 2018-10-24T22:52:01.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2020-01-08T13:25:55.000Z (almost 5 years ago)
• Last Synced: 2024-10-11T23:55:20.740Z (26 days ago)
• Language: Haskell
• Homepage: https://www.youtube.com/watch?v=ytPAlhnAKro
• Size: 270 KB
• Stars: 63
• Watchers: 5
• Forks: 6
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Type inference from scratch for f(by)2019

## Running the type inferencer

- Install stack

-

```

stack build && stack exec fby19

```

Then just start inserting expressions

The slides are in `talk.pdf`

## Resources

- Algorithm W Step by Step (Martin Grabmueller) - http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.65.7733&rep=rep1&type=pdf

- Types and Programming Languages - Benjamin C. Pierce

- The original paper for the system described here (read this after you've understood the implementation):

  Principal type-schemes for functional programs - Damas & Milner https://web.cs.wpi.edu/~cs4536/c12/milner-damas_principal_types.pdf