反应式编程和 pi 演算有共同点吗?
进行响应式编程和pi-calculus 有共同点吗?
Do reactive programming and pi-calculus have things in common?
如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱,如果其他用户或者作者回复了您的评论,将不能在第一时间通知您!
进行响应式编程和pi-calculus 有共同点吗?
Do reactive programming and pi-calculus have things in common?
由于您还没有绑定你的真实邮箱,如果其他用户或者作者回复了您的评论,将不能在第一时间通知您!
接受
或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
发布评论
评论(1)
简而言之,是的。从技术上讲,Pi 演算可能可以编码类似高阶反应式编程的东西(因为您可以动态创建通道并将其作为一流值传递)。
从表面上看,两者都试图用事件而不是状态来描述系统。这是一个重要的区别,它催生了“基于事件的系统”领域。 Pi 演算非常通用,并且很可能您可以在反应式编程设置中构造的任何内容都具有相当自然的编码作为 pi 演算术语。
In short, yes. Technically the Pi-calculus could probably encode something like higher-order reactive programming (as you can dynamically create and pass around channels as first-class values).
At a superficial level, both attempt to describe a system in terms of events, rather than states. This is an important distinction that gives rise to the field of 'event-based systems'. The Pi-calculus is extremely general, and it's quite likely that anything you could construct in a reactive programming setting would have a reasonably natural encoding as pi-calculus terms.