Skip to content

About

An interpreter for a functional language featuring a custom type checker with type inference, AST evaluation, and robust error handling.

Topics

Resources

Stars

0 stars

Watchers

0 watching

Forks

Latest commit

 

History

120 Commits

Folders and files

Repository files navigation

Type Systems Interpreter

Haskell CI

Get started

Install ghc and ghc-pkg version 9.6.x

Run cabal run ts-interpreter-app -- pifl-programs/02_hello.pifl result, it automatically install all required dependencies, builds the app and executes a simple program.

Development via ghcid

The building is quite slow; therefore, to speed up development, we use GHCiD, which automatically rebuilds and executes the tests after each change. You can install ghcid via cabal update && cabal install ghcid (use the argument --install-method=copy on Windows to avoid symlinking error). Important: You must install all the requirements using cabal install --only-dependencies before you can use ghcid.

Tests

Run cabal test all or ghcid -c "cabal repl ts-interpreter-test" -T "main" --reload=lib to execute all tests.

About

An interpreter for a functional language featuring a custom type checker with type inference, AST evaluation, and robust error handling.

Topics

Resources

Stars

0 stars

Watchers

0 watching

Forks

Contributors

Languages