Type aliases - Githubissues

diprism / perpl

The PERPL Compiler

MIT License

10 stars 5 forks source link

Type aliases #92

Open davidweichiang opened 2 years ago

davidweichiang commented 2 years ago

The paper uses Type x = tp (where x is a name and tp is a type) in several places. Would that be something useful to implement?

Would it help to simplify the output of de/refunctionalization?
Would it simplify some code related to datatypes by factoring a datatype into a type alias and a variant-of-products?