欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜: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,构建一个参与者的开放世界。
通过 Phoenix LiveDashboard Visualixir 可视化这个计算原子世界。
技术
构建一个开放的 Actor world
- Erlang/Elixir 并发/消息传递语言
- Elixir + Phoenix 并发运营支撑系统
- EMQ/MQTT, RabbitMQ/AMQP 消息基础设施
- 支持 Cloud Haskell Erlang-style Functional Backend
- 支持 Orleans + C#
- Kubernetes 容器集群基础设施
语言实现
- Orleans C#语言实现
- GPars Groovy语言实现
- Proto.Actor is a Next generation Actor Model framework.
- Proto.Actor Bootcamp
- 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.
Haskell
Haskell Cloud Haskell、Distributed Haskell、并行、并发、异步以及分布式、云计算、actor model
- Cloud Haskell(CH) 与 Erlang 类似,都采用 Actor 模型作为其默认的并发模型。
- Distributed Haskell distributed-process
项目
- 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
图集
链接
分享您的观点