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