华为正式发布自有操作系统鸿蒙OS

华为开发者大会于8月9日-8月11日举行，华为消费者业务 CEO、华为技术有限公司常务董事余承东以《全场景时代新体验与新生态》为题发表演讲，正式宣布自有操作系统：鸿蒙。
据余承东介绍，鸿蒙OS是基于微内核的全场景分布式OS，这是分布式架构首次用于终端OS，可以实现跨终端无缝协同体验。
根据余承东的说法，安卓有超过1亿行代码，内核就超过2000万行，但一般用户用到的代码不到8%，整体比较冗余，在IoT时代这既没必要也不需要。
由此他提出了“微内核”的概念，也是鸿蒙OS的特点之一。区别于“宏内核”，微内核采用同一套操作平台，针对不同硬件能力的产品进行部署，并采用分布式架构，提升效率。
也就是说，手机和车载设备的用途不同，灌入同样系统无必要，但它们可以采用同样的内核，部署不同的界面或功能。
余承东表示，希望未来的操作系统，都使用微内核。据介绍，鸿蒙OS是基于微内核的全场景分布式OS，这是分布式架构首次用于终端OS，可以实现跨终端无缝协同体验。

PC版：https://www.cnbeta.com/articles/soft/876919.htm
手机版：https://m.cnbeta.com/view/876919.htm

https://github.com/huawei-iot/HarmonyOS/blob/master/src/Harmony/Harmony/Tools/CodeMatcher.cs#L88

亲爱的蛤为，你告诉我，这叫『形式化设计方法』 🌚
你告诉我，这是函数式的风格，这种程序员，可能使用所谓的『形式化方法』

你告诉我，所谓的 HarmonyOS 居然是一个教科书一般死板的编译器中层
还是，所谓的『开源』OS 现在还没开源？还是 LiteOS 开源了？

静观其变。

A library for patching, replacing and decorating .NET and Mono methods during runtime. 🌚 噢，我看错了，原来这个是复制别人的...

我要死了，上海交大的部分在哪里？ 😡

https://github.com/huawei-iot/HarmonyOS/tree/master/src/LiteOS/Huawei_LiteOS_Kernel/Huawei_LiteOS/kernel/base

见好就收，这部分我很喜欢，是一个小操作系统内核，我还不清楚它的架构，但很轻量。
内核包含 Priority-based tasking、Timer,soft timer、Mem box、sempohre 实现、mutex 实现、events、queue、IPC 等功能，不含接口定义只有四十多个源码文件，大部分是 C，一些 C 导出的汇编（ARM Cortex-M4）函数存在移植的目录下

安全 不确定 它是嵌入式内核
我有以后重写它的愿望，这样基于实例的学习（和监督机器学习无关啊...） 也有助于我了解 操作系统 的简单理论

Huawei_LiteOS: Huawei LiteOS是华为面向物联网领域开发的一个基于实时内核的轻量级操作系统。本项目属于华为物联网操作系统Huawei LiteOS源码，现有基础内核支持任务管理、内存管理、时间管理、通信机制、中断管理、队列管理、事件管理、定时器等操作系统基础组件，更好地支持低功耗场景，支持tickless机制，支持定时器对齐。

所以蛤为开源了这个后我应该消停一会了...

总结：静观其变。蛤为的 HarmonyOS 现在还没有正式开源，里很多 related resources 和项目开源大概还需要几个月的时间吧。 #Huawei

#sysadmin 妈耶，新内核 Linux duangsuse.moe 5.2.7-100.fc29.x86_64 #1 SMP Thu Aug 8 05:30:19 UTC 2019 x86_64 x86_64 x86_64 GNU/Linux Nvidia 驱动没有支持，害的我移除了 modprobe blacklist 和 kernel parameter，改回 xorg.conf 滚回了 nouveau，果然这个稳定性还是重要啊！

不同领域需要的，绝大部分时候只是针对该领域写出的“库代码”，而不是完全不同的“新语言”。分析大部分所谓 DSL，你会发现它们不过提取了通用程序语言里的一部分，比如结构定义，算术表达式，逻辑表达式，条件语句，等等。极少有 DSL 是不能用通用的程序语言构造表示的。绝大部分时候你都可以用一种通用的语言，写出满足领域需求的库代码，然后领域里的人就可以调用库函数来完成他们的任务。

这一段王垠说的可以说是废话，那是当然啦，可是也体现了王垠写文章最大的缺点 — 就是他总是喜欢吹毛求疵去批判各种其实 模棱两可 的概念和技术，而且通通是选择其中最差的举例子、只看辣鸡的那一面，而且说了也不提出改进的意见，基本就是一票否决掉，并且建议大家都不要用

这段话改编一下，我是否可以这么说：

不同赛道需要的，绝大部分时候只是针对该赛道组装的“组装车”，而不是完全不同的“新车型”。
分析大部分所谓新型车，你会发现它们不过提取了通用赛车组件里的一部分，比如车轮，ESP，尾翼，载重，等等。
极少有新型车是不能用通用的汽车构造表示的。

绝大部分时候你都可以开一种所有赛道通用的组装车，开出满足竞赛需求的成绩，然后队里的人就可以套用蹩脚的组装来完成他们的任务，无须考虑组织是否妥帖好用。

最近去设计的 GalScript 不是一门 DSL，它是定义良好的通用程序设计语言，当然也可以当成 DSL 用，因为它的语法比较灵活，有缩进文法、自定义 prefix, infix, postfix operator，也可以在高阶函数上耍些小把戏，和 Scala 一样，GalScript 也有 implicit arguments（所以 Haskell 的 typeclass 和 instance 其实在 Gal 里都有等价物，虽然 Gal 不支持 parameterized type... Gal 是有虚方法的，这意味着 HM 的 Type class 当然可以实现啊），所以它能够相对比较好的完成 EDSL 的任务
至于 Scheme 系的，也是有很长积累的语言了，我不敢拿它和 Scheme 比

Scheme 的不是不好，但是... 我不知道这个为什么能够拿来吹，Scheme 的宏很强大，但它所基于的概念很简单，甚至不如 Rust 宏（当然我只是从概念的复杂性上讲，虽然两者都能实现，两者语言面向的问题不一样，Rust 复杂一些也是没办法的 核心一样）

比如 Racket 吧，我拿 GeekSpec 举个简单的例子，Racket 里这其实非常简单
Scheme 系可以说是自省(inspect)能力最强的语言了，所以你才能在语言内部定义 AST transform 什么的，当然 Scala 也有 Def macro 就是（实际上现在学术派点的语言都有）

比如我当时设计 GeekSpec 的时候有这么个简单的语法示例

getUsers(limit: Int) -> List of User = /users

抽提一下可以变成这样

((GET | POST | PUT | DELETE) '@')? interfName '(' Arg* ')' '->' Ret '=' path
Arg = name ':' typeName
Ret = typeName | typeName 'of' typeName

我们在 Scheme 该怎么定义这种 macro 呢？看看这个

(api getUsers (limit: Int) -> List of User = /users)

'("getUsers" (list '(limit Int)) '(of List User) "/users") 怎么样？

我们来定义一个宏，把它搞成这样。个人不是很了解 Racket 的 binding 什么的（迫真，怎么可能，就是有点看不清那个 pattern matching 是干啥子）
为了演示方便，我只定义能够抽提上面那个示例的，整个的语法当然不包括在内（但我个人是反对王垠完全否认 DSL 的态度的，谁说 DSL 不能让解决问题更容易？谁想写一大堆『库函数调用』的冗余代码？）

(define (extract-arglist al)
  (map (lambda (xx)
    (let {[x (symbol->string xx)]}
    (let {[lx (string-length x)]}
      (if (eq? #\: (string-ref x (- lx 1)))
      (string-trim x ":") x)))) al))
(define-syntax api (syntax-rules ()
  { [_ name args _ rett _ url] #'(name (map extract-arglist args) (list just rett) url) 
;    [_ name args _ retc _ rett _ url] #'(name (map extract-arglist args) '(of retc rett) url)
 }))

好像不 work... 大概，所以算了。
Scheme 写起来配对括号好淡疼... REPL

没事，你这是 sublanguage

也不是，因为 GalScript 还是有很多『超集』的语言特性的
sublanguage 因为我 Scheme 不好很浪费时间，Scheme 的特色就是元编程了，不过我基本不用 Scheme...

啊，超的部分不是靠内化实现的吗（

我直接因为 Scheme 自带函数太少所以不会写 Scheme
伸出手就缺 Common Lisp 里自带的函数，太难受了

不是啊，那只是一种实现方式而已，GalScript 取材于 JavaScript, Ruby, ES6, Scala, Kotlin, C++，但不打算当任何一个的『子集』
你可以看看这个，不过 Gal 的... 我这周可能想办法发一点...

好，这样就最自由不过了。
啊对了，我看下来，首先是倍感不急了：要这样的话就应该慢慢做，保证质量。
未来可能要考虑 Geekapk 改名。或许可以先看看 Fuchsia OS 的安装包后缀名叫啥了。

自带函数不是问题，问题是不会写 Haskell 也不可能会写 Scheme （跑
主要是 Racket 的 pattern matching... 总觉得没有 Haskell 的好用

而且字符串处理什么的 都是要 string->list, list->string 的，如果不会 car/cdr/null? 很麻烦
Racket 还是 R*RS 加了一大堆 cdddr cddaar cdar, ddd 我到没意见，aaa 是什么意思，难不成 head 还能取 N 次？

(cons/c any/c (cons/c pair? any/c))
(x0 : (a : b))

你居然是这样的 cdaar，受教了。

car . car . cdr.... NP

不重要的事情就先不谈了，重要的是设计

cdaar cadddr …
可能以前人们觉得这样就是方便吧 😂