豫言操作系统:使中文之程序行于诸境

豫言为中文编程之语言;豫言操作系统为载其程序之生态。 愿以中文书计算,亦以同一中文之约,取文件、网络、窗与诸宿主之能。程序编为网页汇编,宿主具其所需之能,则可载而行之。

此篇书其志与次第,非谓诸平台今已齐备。浏览器、云端宿主与裸机原型各有已验之术;豫言操作系统之统约、完备图形界面及同程序跨平台之验,尚待成之。

一法而通诸宿

豫言操作系统不独谓安装于盘者。其约定程序何以始、何以取所授之能、何以传值与释资源。裸机则直治硬件,桌面则资既有系统,浏览器与云工则资其所在之接口。

豫言应用 .wasm 循豫言操作系统统一程序与接口之约,行于硬件或 QEMU、Windows、macOS、Linux、浏览器和 CF Worker。
此图书所期之架构;诸平台须合程序所需之网页汇编功能与系统之能。
宿主 所可借 所当成
浏览器 合功能基线之网页汇编引擎、网页与绘图接口 中文能力之绑定、权限之映射、程序生灭之同义
云端 Worker 网页汇编引擎、请求与平台服务 请求、存储诸能之绑定;无窗则明示其限
Windows、macOS、Linux 文件、网络、窗口及系统服务 网页汇编运行环境与豫言能力之统约
豫言裸机系统、QEMU 处理器与设备 引导、内存、驱动、调度、网页汇编执行与同一能力之约

平台已有程序所需之网页汇编功能,则取其引擎;未有,则嵌入或自成执行器。macOS、Linux 可取 POSIX 之部分,Windows 取本机之法,裸机自为其底。诸途虽异,程序所见之义当同。

中文以通宿主之能

宿主之 API 名法各异。豫言操作系统于语言侧定中文之名、类型、误与权限,再映诸宿之实法。所统者乃可见之义,非徒易英文之名。能力随所授而有;云工无窗,不伪称有窗;有窗之宿,亦不得无授而取文件。

同一网页汇编程序,惟宿主合其功能基线、接口版本与所需之能,乃可行。纯计算可达诸境;图形须窗;服务须受请求之能。装载之时先验其约,缺则同法告之。

图形界面亦豫言操作系统之一能。愿以豫言共书布局、控件与绘图之法,诸宿各供窗、输入、字形与画面提交。浏览器可作为其上之应用;天下网页仍循 HTML、CSS 与 JavaScript 之规范。

成事之次

  1. 定其约。 明网页汇编功能之基线,定基础能力之版本、资源柄、权限、误与异步调用之义。
  2. 立诸宿同验。 以同批真实豫言网页汇编程序,核浏览器、云端与桌面之果,记其所缺。
  3. 通图形程序。 定窗、输入、字体与绘图之能,成共用中文 GUI 库,验同程序于既有桌面与浏览器。
  4. 进裸机之业。 续成 ARM64、AMD64 QEMU 原型及网页汇编 GC 之执行,继通窗口与设备;实体机以定型逐验。
  5. 成可用生态。 约既定,乃进浏览器、开发器、包与应用分发,并公示兼容与性能之实数。

今裸机原型已能于 QEMU 启动,有命令壳、任务、文件之用,亦能行所支持之标准网页汇编子集;普通豫言网页汇编 GC 程序尚未全行,实体机安装亦未成。愿使诸宿之功渐归同一个豫言操作系统,不以原型一验冒称全功。

观豫言语言 · 阅语言源码 · 阅裸机原型