Formally define expected behavior

yumiova / synchronous-streams

Simple and fast embedding of synchronous dataflow

MIT License

0 stars 0 forks source link

Formally define expected behavior #41

Open yumiova opened 4 years ago

yumiova commented 4 years ago

There are two obvious ways to formally define behavior: denotationally or through laws. Denotational formalization is typical in functional-reactive programming, though it may be hard to find a denotation that exactly represents dataflow. Alternatively, specify all the typical laws of dataflow that this library holds.

yumiova commented 4 years ago

Maybe behavior can be defined denotationally in terms of Static (Cofree f)?