10年10个月前IP:北京
808136
8楼
引用 novakon:
关于OCaml部分,我更新一下:OCaml的主要能力是在设计阶段消灭由于人的疏忽导致的bug。也就是说OCaml程序可以存在有意而为之的bug。

对于一些超大规模、超高并行、超高可用性、但几乎铁定会存在bug的系统,Erlang是一个...
说白了就是状态机喽?
评论
文号 / 808136

千古风流
名片发私信
学术分 1
总主题 76 帖总回复 2030 楼拥有证书:进士 学者 机友 笔友
注册于 2012/11/16 16:45:34最后登录 2026/10/27 15:36:22
主体类型:个人
所属领域:无
认证方式:手机号
IP归属地:0

个人简介

null

笔记
{{note.content}}
{{n.user.username}}
{{fromNow(n.toc)}} {{n.status === noteStatus.disabled ? "已屏蔽" : ""}} {{n.status === noteStatus.unknown ? "正在审核" : ""}} {{n.status === noteStatus.deleted ? '已删除' : ''}}
  • 编辑
  • 删除
  • {{n.status === 'disabled' ? "解除屏蔽" : "屏蔽" }}
我也是有底线的