tobast/mpri-funcprog-project
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
MPRI Functional Programming project, whose subject can be found [here](https://gitlab.inria.fr/fpottier/mpri-2.4-public/blob/master/project/sujet.pdf)
115 commits 1 branch 0 tags 5.5 MiB
Find a file
Théophile Bastian 5c6f538f9e Add a test for partial evaluation 
This is mostly in case I actually implement better functions of arity
>1, but forget to add this test.
2018-02-16 02:58:08 +01:00
src Add a test for partial evaluation 2018-02-16 02:58:08 +01:00
.gitignore Add human-readable pretty printer for Tail 2018-02-15 21:26:15 +01:00
README.md Update what's done and to do 2018-02-16 02:55:12 +01:00
sujet.pdf Keep only project-related files; reroot to project/ 2017-12-19 13:35:04 +01:00

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)