anoma / geb

A Categorical View of Computation
https://anoma.github.io/geb/
GNU General Public License v3.0
28 stars 10 forks source link

Create an Implicit pipeline #50

Closed mariari closed 1 year ago

mariari commented 1 year ago

This PR fixes up the mess created in #45 where the pipeline was implicitly defined in the geb.entry package

This entails

  1. Making trans files load last
  2. Making functions in the trans file that goes from the current stage, to any downstream stage

This means, that instead of an explicit, PIPELINE we instead have a function to-circuit which is the pipeline for any single stage.

This means things work much closer to how smalltalk works, and we can pause the compiler at any point, given we can just stop it before it gets to a stage. I still prefer the berlin pipeline, but this seems a promising route