Desk

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

目标和哲学

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

• 🎮 直观 如游戏
• 🥼 实用 如专业工具
• 🗺️️ 多功能 如电子表格
• 💗 易于访问 对每个人
• 🛹 简约 设计

为什么是Desk？

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

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

它是如何工作的？

Desk由几个系统驱动

• Desk编程语言（Desk-lang）
• Desk-workspace（dworkspace）
• Desk插件（dplugins）

Desk编程语言

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

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

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

Desk-workspace（dworkspace）

Desk-workspace是一个平台无关的编辑Desk-lang的环境。

Desk-workspace提供以下功能

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

🚧 尚未实现

Desk插件（dplugins）

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

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

🚧 尚未实现

它好吗？

是的。

资源

• 贡献指南

加入我们的社区

👉

👉

👉

👉

👉