Commit 7b308d06 authored by André Pacak's avatar André Pacak

update readme

parent 0669d94f
## iTypes ## 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. 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. order to provide immediate feedback for the developer.
As a starting point we are investigating bidirectional type systems. As a starting point we are investigating bidirectional type systems.
...@@ -12,13 +12,19 @@ bidirectional type systems. ...@@ -12,13 +12,19 @@ bidirectional type systems.
Additionally, we want to implement a compiler that translates bidirectional Additionally, we want to implement a compiler that translates bidirectional
type systems into a format that can be incrementalized. 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. in order to figure out how to structure the compilation pipeline.
## Getting Started ## Getting Started
To build the type checkers in Haskell, install the [Stack](https://www.haskellstack.org) build tool and run `stack build` within 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. 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. 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")
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment