欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Huihoo.IO
来自开放百科 - 灰狐
（版本间的差异）
小 (→图集) |
小 (→Erlang) |
||
| 第16行： | 第16行： | ||
为什么选择[[Erlang]] | 为什么选择[[Erlang]] | ||
*因为互联网的本质就是连接和通讯 | *因为互联网的本质就是连接和通讯 | ||
| − | *进程必须是语言的核心，为每个用户、每个App、每个设备提供独有的进程 | + | *进程必须是语言的核心，为每个用户、每个App、每个设备提供独有的进程 // 规模和伸缩性：Billions of users, Trillions of devices, Millions of apps. |
*因为[[RabbitMQ]],[[Riak]] | *因为[[RabbitMQ]],[[Riak]] | ||
*因为Erlang for [[Internet of Things]] [http://docs.huihoo.com/erlang/conference/sfbay2015/Erlang-based-Operating-System-for-Internet-of-Everything.pdf Erlang-based Operating System for Internet of Everything] | *因为Erlang for [[Internet of Things]] [http://docs.huihoo.com/erlang/conference/sfbay2015/Erlang-based-Operating-System-for-Internet-of-Everything.pdf Erlang-based Operating System for Internet of Everything] | ||
2016年10月29日 (六) 02:13的版本
Huihoo.IO
目录 |
愿景
接入更多用户、应用、设备，连接一切。
实质是：通讯基础设施、接入网关、应用市场。
简介
组成
- 灰狐通行证
- 安全基础设施/安全网络
- 参与者模型 Erlang based OS
Erlang
为什么选择Erlang
- 因为互联网的本质就是连接和通讯
- 进程必须是语言的核心，为每个用户、每个App、每个设备提供独有的进程 // 规模和伸缩性：Billions of users, Trillions of devices, Millions of apps.
- 因为RabbitMQ,Riak
- 因为Erlang for Internet of Things Erlang-based Operating System for Internet of Everything
- 因为WhatsApp的巨大成功
- 因为Actor model
- 因为OTP applications和Erlang modules
- 因为Erlang cloud
- 因为Apache v2，自由开放，商业友好
文档
- 基于Erlang构建大规模实时系统
- IoT Realized: The Connected Car
- Develop an IoT Cloud Service for Rental Car and Hotel Devices with Enterprise Use Cases
- Building IoT and Industry 4.0 Systems with Multitask Management Based on Redis
- Accelerating the Industrial Internet with the OMG Data Distribution Service
图集
通用方法
链接
分享您的观点
