欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
ActorX
来自开放百科 - 灰狐
ActorX
目录 |
简介
计算世界的原子是 Actor,欢迎来到 Actor world.
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消息流基础设施
- Kubernetes 容器集群基础设施
语言实现
- Orleans C#语言实现
- GPars Groovy语言实现
- Proto Actor Cross platform actors, Go implementation.
- Proto Actor Cross platform actors, Kotlin implementation.
- Proto Actor Cross platform actors, C# implementation.
- Proto Actor Cross platform actors, Python implementation.
- Proto Actor Cross platform actors, JavaScript implementation.
项目
- SMACK堆栈
- Huihoo Cloud
- Akka.NET
- Actor Messaging platform Akka和Scala的后端系统,PostgreSQL数据库存储,S3文件存储,提供iOS和Android SDK,AGPL许可协议。
- ActorX Manager:Actor system operational & management
- Akka (Cluster) Management
- 复杂事件处理(CEP)
- C++ Actor Framework
- FoundationDB Flow
- ExActor
图集
链接
分享您的观点