diff --git a/README.md b/README.md index e81ccf1d2c6c752317c385012466a3fa44ff4e3d..cdba18cebc0a406511b883cb40f14745a31f27ae 100644 --- a/README.md +++ b/README.md @@ -1,9 +1,9 @@ ## iTypes -It is crucial that developers receive instantaneous feedback while writing +It is crucial that developers receive instantaneous feedback while writing programs, e.g. type errors of a program. -The goal of this project is to see how type checkers can be incrementalized in +The goal of this project is to see how type checkers can be incrementalized in order to provide immediate feedback for the developer. As a starting point we are investigating bidirectional type systems. @@ -12,13 +12,19 @@ bidirectional type systems. Additionally, we want to implement a compiler that translates bidirectional type systems into a format that can be incrementalized. -Currently, we are exploring how to manually transform bidirectional type system systematically +Currently, we are exploring how to manually transform bidirectional type system systematically in order to figure out how to structure the compilation pipeline. ## Getting Started -To build the type checkers in Haskell, install the [Stack](https://www.haskellstack.org) build tool and run `stack build` within -the directory `haskell` of the project. +To build the type checkers in Haskell, install the [Stack](https://www.haskellstack.org) build tool and run `stack build` within +the directory `haskell` of the project. To build the type checkers in IncA, install [IncA](https://github.com/szabta89/IncA) and open the directory `inca-translation` with MPS. +## Publications + +**Vision Paper: Generating Incremental Type Services** +André Pacak and Sebastian Erdweg +_Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering (SLE)._ ACM, 2019 +[[PDF]](https://andrepacak.de/paper/vision_generating_incremental_type_services.pdf")