2017-12-19 13:30:32 +01:00
|
|
|
# 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)
|
2018-02-16 02:55:12 +01:00
|
|
|
|
|
|
|
|
## 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)
|
