|
|
|
|
|
|
by andyferris
712 days ago
|
|
|
Yeah that would be cool. For bounded execution, you should look at “total functional programming” (which always terminates). They have this concept of codata for the other 1% to make practical, interactive apps - codata represents things like event streams. |
|
|