MPRI Functional Programming project, whose subject can be found
[here](https://gitlab.inria.fr/fpottier/mpri-2.4-public/blob/master/project/sujet.pdf)

Théophile Bastian 6339662cec Write markdown report 3 years ago
report 6339662cec Write markdown report 3 years ago
src 323302c6e5 Add a naive constant propagation pass 3 years ago
.gitignore 3262846faf Add human-readable pretty printer for Tail 3 years ago
.gitmodules 0663d7fa10 Use shared tests repository instead of `src/tests` 3 years ago
README.md 9a1b6fb177 Update what's done and to do 3 years ago
sujet.pdf 3b5c4cb996 Keep only project-related files; reroot to project/ 3 years ago

README.md

mpri-funcprog-project

MPRI Functional Programming project, whose subject can be found here

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)