GaeBlogX Arista Networks, Software-Defined Networking

Sum and Product Types


Products

For products, we have types $\tau$:

  • Binary
  • Nullary

and expressions $e$:

  • Ordered pairs

  • Projections

Statics:

Dynamics (two cases, lazy or eager):

lazy:

end lazy

eager:

end eager

Sums

For sums, we have types $\tau$:

  • Binary Sum/Coproducts
  • Nullary

and expressions $e$:

  • Binary
  • Nullary

Note: $abort$ doesn’t mean to abort!!!!!

Statics:

Dynamics (two cases, lazy or eager):

lazy:

end lazy

eager:

end eager

Some Type Algebra

Algebra about functions (using the arrow notation):

Functions can also be written by exponential notation:

Something like the dual:

In exponential notation:


Similar Posts

Comments

Search