microsoft / knossos-ksc

Compiler with automatic differentiation
Other
45 stars 10 forks source link

Checkpoint #868

Open toelli-msft opened 3 years ago

toelli-msft commented 3 years ago

For information only, not for review yet.

awf commented 3 years ago

General observations: almost certainly does not need a new AST node; can probably be done in many cases by implementing Os/Ot variants of particular functions (e.g. map/map_checkpointed)