Desk

您的赛博朋克桌面的应用平台。

为什么选择Desk？

Desk应用（基于Desk构建的应用）天生具有以下特点：

• 🎼 面向数据
• 🔒 静态类型（数据和UI）
• 🤖 可编程（可通过代码扩展）
• 🧲 与其他Desk应用互操作
• 📱 在任何地方运行（Web、桌面、移动）

它是如何工作的？

Desk由 Desk编程语言 和 Desk内核 驱动。

Desk编程语言

Desk编程语言（Desk-lang）是一种具有以下特点的编程语言：

• 极简语法和语义
• 具有推断的类型系统
• 代数效应
• 通过类型和UUID进行内容寻址
• 可嵌入的解释器
• 🚧 用于高性能二进制的编译器

Desk应用上的任何数据和程序最终都作为Desk-lang的片段进行评估。

Desk内核

Desk内核是一个平台无关的环境，用于编写和运行Desk-lang。Desk应用的功能和UI是通过使用内核的syscalls构建的。它使用 Bevy引擎 和 egui。

Desk内核提供以下功能

• 🚧 Desk-lang的文件系统
• 🚧 类型驱动的UI组件
• 🚧 增量计算引擎
• 🚧 实时协作支持
• 🚧 软件包管理系统
• 🚧 版本控制系统
• 🚧 权限管理系统
• 🚧 使用网格的3D/2D渲染

哲学

• 🎮 如游戏般直观
• 🥼 如专业工具般实用
• 🗺️️ 如电子表格般灵活
• 💗 适合所有人
• 🛹 极简设计

目标

我们希望将人们的桌面最顶端的板子变成运行Desk的触摸屏显示。

这有什么好处吗？

是的。

加入我们的社区