豫言操作系统:使中文之程序行于诸境
豫言为中文编程之语言;豫言操作系统为载其程序之生态。 愿以中文书计算,亦以同一中文之约,取文件、网络、窗与诸宿主之能。程序编为网页汇编,宿主具其所需之能,则可载而行之。
此篇书其志与次第,非谓诸平台今已齐备。浏览器、云端宿主与裸机原型各有已验之术;豫言操作系统之统约、完备图形界面及同程序跨平台之验,尚待成之。
一法而通诸宿
豫言操作系统不独谓安装于盘者。其约定程序何以始、何以取所授之能、何以传值与释资源。裸机则直治硬件,桌面则资既有系统,浏览器与云工则资其所在之接口。
| 宿主 | 所可借 | 所当成 |
|---|---|---|
| 浏览器 | 合功能基线之网页汇编引擎、网页与绘图接口 | 中文能力之绑定、权限之映射、程序生灭之同义 |
| 云端 Worker | 网页汇编引擎、请求与平台服务 | 请求、存储诸能之绑定;无窗则明示其限 |
| Windows、macOS、Linux | 文件、网络、窗口及系统服务 | 网页汇编运行环境与豫言能力之统约 |
| 豫言裸机系统、QEMU | 处理器与设备 | 引导、内存、驱动、调度、网页汇编执行与同一能力之约 |
平台已有程序所需之网页汇编功能,则取其引擎;未有,则嵌入或自成执行器。macOS、Linux 可取 POSIX 之部分,Windows 取本机之法,裸机自为其底。诸途虽异,程序所见之义当同。
中文以通宿主之能
宿主之 API 名法各异。豫言操作系统于语言侧定中文之名、类型、误与权限,再映诸宿之实法。所统者乃可见之义,非徒易英文之名。能力随所授而有;云工无窗,不伪称有窗;有窗之宿,亦不得无授而取文件。
同一网页汇编程序,惟宿主合其功能基线、接口版本与所需之能,乃可行。纯计算可达诸境;图形须窗;服务须受请求之能。装载之时先验其约,缺则同法告之。
图形界面亦豫言操作系统之一能。愿以豫言共书布局、控件与绘图之法,诸宿各供窗、输入、字形与画面提交。浏览器可作为其上之应用;天下网页仍循 HTML、CSS 与 JavaScript 之规范。
成事之次
- 定其约。 明网页汇编功能之基线,定基础能力之版本、资源柄、权限、误与异步调用之义。
- 立诸宿同验。 以同批真实豫言网页汇编程序,核浏览器、云端与桌面之果,记其所缺。
- 通图形程序。 定窗、输入、字体与绘图之能,成共用中文 GUI 库,验同程序于既有桌面与浏览器。
- 进裸机之业。 续成 ARM64、AMD64 QEMU 原型及网页汇编 GC 之执行,继通窗口与设备;实体机以定型逐验。
- 成可用生态。 约既定,乃进浏览器、开发器、包与应用分发,并公示兼容与性能之实数。
今裸机原型已能于 QEMU 启动,有命令壳、任务、文件之用,亦能行所支持之标准网页汇编子集;普通豫言网页汇编 GC 程序尚未全行,实体机安装亦未成。愿使诸宿之功渐归同一个豫言操作系统,不以原型一验冒称全功。