https://github.com/lambdageek/gust

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

Last synced: 6 months 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 (about 11 years ago)
• Default Branch: master
• Last Pushed: 2014-03-20T18:15:51.000Z (about 11 years ago)
• Last Synced: 2024-10-14T09:17:20.064Z (7 months ago)
• Language: Haskell
• Size: 246 KB
• Stars: 3
• Watchers: 3
• 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.