https://github.com/lambdageek/gust

Small language with Pierce/Turner type inference
https://github.com/lambdageek/gust

Last synced: 25 days ago
JSON representation

Small language with Pierce/Turner type inference

• Host: GitHub
• URL: https://github.com/lambdageek/gust
• Owner: lambdageek
• Created: 2014-03-07T16:57:19.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2014-03-20T18:15:51.000Z (over 10 years ago)
• Last Synced: 2023-03-11T11:46:49.156Z (over 1 year ago)
• Language: Haskell
• Size: 246 KB
• Stars: 3
• Watchers: 2
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
gust

====

Small language with Pierce/Turner type inference.

There's a syntax, some semantic types, a parser and a typechecker here.  The typechecker uses bidirectional typechecking with local type inference on function applications to infer the type arguments based on the synthesized types of the expression arguments.

Some examples in the `examples/` directory.  Use with GHCi and the `rp` function from `Example.hs`

There is no pretty printer, so everything is ugly.