Desk

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

目标和哲学

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

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

为什么选择Desk？

Desk应用程序（基于Desk构建的应用程序）天生具有

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

它是如何工作的？

Desk由Desk编程语言和Desk内核提供支持。

Desk编程语言

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

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

🚧 尚未实现

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

Desk内核

Desk内核（Dkernel）是一个平台无关的环境，用于编写和运行Desk-lang。Desk应用程序的功能和UI由Dkernel的syscall组成。

Dkernel提供以下功能

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

🚧 尚未实现

它好吗？

是的。

资源

• 可视化的代码库

加入我们的社区

👉

👉

👉

👉

👉