search

robrix / path

A lambda calculus to explore type-directed program synthesis.
BSD 3-Clause "New" or "Revised" License
84 stars 2 forks source link

Code generation #20

Open robrix opened 5 years ago

robrix commented 5 years ago

We should do codegen with erased terms (cf #19).

robrix commented 5 years ago

Since packages only specify a single target, I’ve been planning on having multiple build modes for the same package in order to build e.g. libraries, executables, tests, using private symbols & dead code elimination to exclude e.g. tests from library consumers. But we’d probably want to do something like dead-code analysis to avoid doing expensive codegen & optimization (cf #21) on the tests when e.g. building the lib as a dependency.