欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Huihoo.IO
来自开放百科 - 灰狐
(版本间的差异)
小 (→链接) |
小 (→组成) |
||
第12行: | 第12行: | ||
*[[Huihoo.NET|安全基础设施/安全网络]] | *[[Huihoo.NET|安全基础设施/安全网络]] | ||
*[[Actor model|参与者模型]] Erlang based OS | *[[Actor model|参与者模型]] Erlang based OS | ||
+ | *开放[[API]] [http://raml.org/ RAML] | ||
==Erlang== | ==Erlang== |
2016年10月29日 (六) 03:21的版本
Huihoo.IO
目录 |
愿景
接入更多用户、应用、设备,连接一切。
实质是:物联网基础设施、接入网关、应用市场。
简介
组成
- 灰狐通行证
- 安全基础设施/安全网络
- 参与者模型 Erlang based OS
- 开放API RAML
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
图集
链接
分享您的观点