jameshaydon / lawvere

A categorical programming language with effects
MIT License
267 stars 5 forks source link

Cone sequencing #5

Open jameshaydon opened 3 years ago

jameshaydon commented 3 years ago

Field punning has been implemented but sometimes one still has to sequence several cones together when there are data dependencies.

Cone sequencing introduces semicolons in cones. When a semicolon is used in a cone, the cone is split into two cones, with the second cone completing with puns any fields from the first cone that it doesn't have an explicit expression for.