18 lines
544 B
Markdown
18 lines
544 B
Markdown
# mpri-funcprog-project
|
|
|
|
MPRI Functional Programming project, whose subject can be found
|
|
[here](https://gitlab.inria.fr/fpottier/mpri-2.4-public/blob/master/project/sujet.pdf)
|
|
|
|
## Features checklist
|
|
|
|
* Performs CPS
|
|
* Performs defunctionalization
|
|
* Pretty-prints nicely intermediary languages
|
|
* Removes var-var bindings
|
|
|
|
## Wish list
|
|
|
|
* Perform an intelligent CPS transform (many continuations aren't actually even
|
|
remotely needed at the moment)
|
|
* Handle correctly functions of arity > 1 (WARNING, cannot partially evaluate a
|
|
function in C)
|