search

diprism / perpl

The PERPL Compiler
MIT License
10 stars 5 forks source link

Datatags #48

Closed colin-mcd closed 2 years ago

colin-mcd commented 2 years ago

Implements datatype tagging and parametric datatypes. So now code/double.ppl and code/reverse.ppl work (though the latter produces an impractically large FGG, so actually running it takes an undetermined amount of time).

colin-mcd commented 2 years ago

This closes #40.

davidweichiang commented 2 years ago

Awesome. Do you see any ways that we can optimize reverse.ppl?

davidweichiang commented 2 years ago

Did you try equal.ppl? I see that it compiles, but I haven't run it yet. What would the -w option look like?