Desk

🔮 你的赛博朋克桌面的应用程序平台

目标和哲学

🎯 我们希望把人们桌上的顶级板变成运行 Desk 的触摸屏显示器。

• 🎮 直观 如游戏般
• 🥼 实用 如专业工具
• 🗺️️ 多才多艺 如电子表格
• 💗 人人可及
• 🛹 极简设计

为什么选择 Desk？

Desk 应用程序（基于 Desk 构建的应用程序）本质上是

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

它是如何工作的？

Desk 由几个系统驱动

• Desk 编程语言（Desk-lang）
• Desk 工作空间（dworkspace）
• Desk 插件（dplugins）

Desk 编程语言

Desk-lang 是一种编程语言，具有以下特点

• 简洁的语法和语义
• 具有推断的类型系统
• 代数效应
• 通过类型和 UUID 可内容寻址
• 增量编译

Desk 应用程序上的大部分数据和程序最终都被评估为 Desk-lang 的一个片段。

Desk 工作空间（dworkspace）

Desk 工作空间是一个平台无关的环境，用于编辑 Desk-lang。

Desk 工作空间提供以下功能

• Desk-lang 的文件系统
• 权限管理系统
• 实时协作支持
• 🚧 软件包管理系统
• 🚧 版本控制系统

🚧 尚未实现

Desk 插件（dplugins）

有许多 Desk 插件。每个 Desk 插件为 Desk 环境实现一个功能。

• Desk 编辑器 是 Desk-lang 的默认编辑器
• Desk 运行时 是 Desk-lang 的默认运行时
• Desk 指南 提供 🚧 Desk 的交互式教程
• Desk Craft 提供 🚧 3D/2D 渲染，具有网格

🚧 尚未实现

它好吗？

是的。

资源

• 贡献指南

加入我们的社区

👉

👉

👉

👉

👉