欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
ActorX
来自开放百科 - 灰狐
ActorX
目录 |
简介
Actor模型的本质就是消息传递,Erlang是一种纯消息传递式编程语言。
ActorX宣言:我们推崇“一切皆是参与者”的Actor model,一种新的编程模型。
Concurrent computing for programming
作为一种计算实体,Actor对象与原子类似。
每个连接、每个消息事件、每个人、每个设备都是一个Actor。
启发自:理论物理和ReactiveX Reactive Extensions for Async Programming
愿景
Actor:节点、参与者、连接器。
一切都是原子,一切都是Actor,构建一个参与者的开放世界。
技术
- Erlang 并发语言
- Scala 对象/函数混合语言
- Akka 并发基础设施
- Apache Kafka、RabbitMQ、Apache RocketMQ、OpenMessaging、Akka Streams Kafka消息流基础设施
- Apache Mesos 集群基础设施
语言实现
项目
图集
链接
分享您的观点